Machine 71 Results

Final configuration is 10{z}{11}^(digits(10567)){l}10 Ones: (10567 digits) Hops: (21133 digits) Steps: 1927565 Otters: 99697 Otter Steps: (21133 digits)

Final configuration is 10{00}^(5)10{00}^(486)10{00}^(831){f}{11}^(2625){l} Ones: 5253 Hops: 19959284 Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is 10{00}^(5)1000{c}10{r}{11}^(4912) Ones: 9827 Hops: 36213129 Steps: 720 Otters: 33 Otter Steps: 36189788

Machine 71: [t(a,0,1,r,b),t(a,1,0,l,d),t(b,0,1,r,c),t(b,1,0,r,f),t(c,0,1,l,c),t(c,1,1,l,a),t(d,0,0,l,e),t(d,1,1,r,z),t(e,0,1,l,a),t(e,1,0,r,b),t(f,0,0,r,c),t(f,1,0,r,e)]
String format: 621rb0ld1rc0rf1lc1la0le1rz1la0rb0rc0re
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Kropitz #a
Table:
 01
a1 r b0 l d
b1 r c0 r f
c1 l c1 l a
d0 l e1 r z
e1 l a0 r b
f0 r c0 r e
Status: halts
Final Configuration: 10{z}{11}^(digits(10567)){l}10
Ones: 3187119009721102744384905238143096361770589085828432198123732908829171131505293915646781890785997071429299426654665172307888305928004309041968416645292398472865662987785703306027878447166951609866173222195030309169988693319728826469177855287487586722550399424202847165324033217335238279351887354274839841309674774028672948731507185014357587837204395042325361801759410841288212602056878507122227025242531304733218679519528292954918113763238036322786963451770714828191336890606512421853783060932979129310543522693540295058632095017715687752705006987620822920144726340693231233697508826037185025800600285825580891579602608973982596927854657919614661486312373279132152097694296627806986245460502031575367562493777849353239598463557524360686442047805156212114745077843127710215142878201976733300631993773589205646249126399359580284509953273983508033003108359561119148840540063839111793543749717392711910841428838429315056448106372861852711003894417508388035121020829560813624799469145078147647197919631283269255196775219537952203883238961514572602891834029231217334092584147450455273041634027195380699192638411139943429958206656473912364809371893206447568546868177219963631637313011871814603935590581303595888159438997752310899117708477773805223902321652183720537991055637415877079885239567778471789953182035352222445322647370946746250776002898147962745987959290739660032862764131326039048533823365277808188966752248812510508425593336489363211141545795010700407104685593765583988473722306122694298331367721391150913256795968457919574051284162817145925145259854232821268701182914478809142574857203662637372833511503251882424189946697525928164629387368177323512326333678982487009456916110494163951590197207844049391304044800856582534216548915876519356088264706984520800362383035588680829795527841565329106876230436167242658391149815999782819394026899894596648416515330868321180156130035330909758750113117068289338905351255180947028834596821940415062126899780096616369714018808064451758383859839540920777971201563443369612473341839946815127323208699102154075616266232055794843087057107633381203097066936063519859447178709218489137272773976684881131678737225620649615803652960776186214518763744169095274472330363665335632351003250306742378204782331132062459310339106843737552878877120823330226286533980579731785226700363028099368022450102931279423154021021992263359811116140561324883470966818348046755051770170629139702831211521132426990774247113116158617428516184098906134978368649051710791481181280707672153453485150832580250203572659447847487660525087094219239749973216002049415902958579940438472317263495520770049619515319659227205025961147600661974129963406189342343114108097897650775583653183056369908614047973105738829082900913949108337291154263599929899963128176491260664025333100351736177111986920857470693880959141473513416734718335916405246571379060218228122271723408591889217678875517296484862947759568468226569610169442595595930807816035966467187010717860505512121674445444490981734749399177701963731649987509395960119991377085079806043422929301579751980456553200235122902247347118619897997160364834338426472479113081504240319397166823154004556331243801649762563189147154295891041112462376212995386019247458412410358437347039937084734150188851053225502314943982506602090497869322882546471357382312431078491454422014975826676957282526208997297413012572129719028216613918008731139884877194724442287465677399408795201192723952176987108039011854984983439244551801884328205615543248559765048788841003237979216962638457629729770009567136183814081772596478611943875319089699742790774189222778294884260506633069933858607453462630991689887539563891287826686672552075922836652922614586274555629347184854225228601733834076965187409785621814727755891789840552103994455759312392527200368351853667500143363737959476355568582758112716257640806761954370867328826173772199392934175919311528756230486137277702113351506502472768477917201191649212939882225165900536093545112064230586548037655859400667719190535007575830134854651805762824245075891936374448765384570428084153038240184319796610252587627357176304496967535904536895767568065630553125242408255780387681436312593234839382478918312011552916174161270036347794708132163024812669327858490801873325680645039376010416126195160207958358352275840754592271964738909093209799161240601647187784826465184118216120792929185949362437967751087193306230689884787838227233716847625610120643666632944307712752302006257159052613449944452473426942898592115900310993551342956438338449403211592011017040636256800412115546280363160044278678057709402880307061954017146963874780836119648082499556983876723289713487254860036906276801672305896946655273068224879543471549805175331328783682533242954626152445034517387551785467836224139710920711988943730790686850116889683732385373490378417230442857274826318577795690361109510940430307137534887974945610748910625091770724529107746138487678772861726999958401619083287389493247238773522665604359900479152175280338175770350080739673935903673170477976282446045913380793831260351426496831544341169138320419133236669918957117290393484654966343363611556140502733768472184549368936243993780675564289665663274053933647186213202730214237189764630526964706348135218001318261255526227765994669613486457805000183706542399226494017597189795039272391541261041365474228095495740558569995321651339169310867670918195304950828491710154788273200312011810815253790166794340364081167895131047511275166116553400753333266351199921788840547857485066168032587604219770175765001304491449835876632758486413696926761195696585611323829008703194701113794193039245121175421363010216971065608060402790868194318390360991891571865703534659808211685106244366749223533786954761841812256018160014272684891627719857069424754586220598557026045872925942587028853916808538967539507243047831599270719859861206693040855988863861650157250630695541309075886012796368092581537511826796650217621976668087278305154820467261835510745297203777867865784874678803850504630962407700699991625098542359450897052841883521044371769430332773582645789317917675815418542544004659732387422033763023001001421697842944839786313112570101879026828534001808819765725558906786942220221868358869455638954235182909301498385534508729891052667905924534043243894594540711841586052942071872786608377248372264742994292718825617563324489750790401067186655029874386433805089987199446526417129139876037868831937996091114196508462574579603593813477807172866557807520077659867435551749927031728051319233922389680042262800544855384092918386508521728413434209298324559317406450149074698959494088906620606289667756780741259504636782665921263631815487548446475599532052904131792552622500564433887260479856335748266121064314185757837173783209953384239279681525444309029482428586843761211364462942843422738728909179652073772105209155993289639441157738044116546845713132445194058706530003078848486256818377531946603507648298330514420700691712797675038408866062778198416310043135131597541024213591171436443096543691430752246936331469382553132430862680036750428641258768595587721369250034225817048695013514497656770551842906813420160203662435501430150189489628748422615577408669299376123335337859626082832287937984727901211048824715010900684138566885877854938994222472532541407317221588697954555301138856346014156757959271865821598381161276357683680521797414737529939212811167035218157578226514916871269770247783445396816155931725863874592270244099969311776485656531846253553093719288387855363619729228337967607540287925570734413030596477763280394853178565451677895832732503850087418514308798096409510619287439760278082349619357533245756948633711438232116438887707945188693165940537945150842014427006659359678074659561766965471222893885688673595108524510718292674067044771181997721059313866010594933424862470548758601900214511311007564852223876023841081889211160851233126190950023532447917200971177486174840597192867263498461049758684785583773070214269131530573824575498476665478945249041984255665067521506382792220763326230166968308987785672213666686454085049433601214953202441817089272285077775780624933873138865813319701610591735828482591283213396633902993870977200129515150825955415100825344286639951001453709027374513249477714062693442529557973003535750015715216302995195541740349926264636642343861230210384217462551570134677593469302664997558557430114088400902062520210137624515734523455532376921697661194250432666597448204090569486713352800076387529669973589234650603618029032597234123761432219676589582506153242226438786885055252877338903150204425021402455567703909653392564749872927440592092120609346745284030959626724965705445398246749547735729056950887486566862384081087832110743200986499007577146754360940387469022625106702245789548061668724862997187286310578486773629637337946626956444863761565264976402841967403197754746698122404217220261672158104205434136461567882771611143405753897132562166966225797339514383798602266158157282466891135433544239169431788043243288020451493063774857889884987550236106179479538859662959889060860769769653141676502103498660880859753248525860698158243238540216128212834935887342866724986128956167202328819015595224494592503859299208570008551791777820028135059614335291585295586619813260928617726270688486498551084028217167042786498270872205737533775114459584441166406929571428458384605647825483665990295765246498025156298213451939437700505259465872776472854817289341013641411095818556735526417702857314056289601252756274684726859564305802941738794097749965230070287218656668782439718248377953389593556240716312151877188554589232439825339042296795037746895254542975984448824634160879790661390104909413289185270427313164874584050006353374464022563210263575221827112082454344063361105977295251261856843324415880895540535377436375026029292937330338286525547816180493650568817708113946895411951649404653142152217692421272213060428191999770198078897848974079057965528681127548929780392227881913805417369951944289637574900415967335742656251361802158685324808094485431073934745291645775379816679464069932776495543507331692509320150130401634631354070042778150927005723746884854897490665451367738189976715683572696260073651012036969969919807185731499631508816847761347262259843906803399231738943641189706220829527113270827443749348822081984629336887442470222716258970213967575461563364204559203425734451214921355929684655489551178421852111134910299858536832639432643059837166482747292993192409451044254810083980241957546408344321467960231393609785250772481145116780167387484362137962657537246780068610520617998732862609215007443130776092681408263564928090906
Hops: 3809147843297108478623395560846941451147616233656935590592213677682706607153994356803223323988331348841773243176078001498554478918179443592976471414766287574456335230554382344269958352622047909358985424123320586489988343485651109682579190459571263326007637749657515071835567016487571215035188972556861421766735306564862476108380465062989505280114097560741654020804378868927897729873572566569872058224089981434734078807473576859750007637668663592498649987783673338663303675320413631362486411994963504373106036547379199656130066103620055241631959400614865856000537712561840021810917259004238738257167993116208143159299984194435248883734790394083545047940487916091433786825779377301495281217962569126520260113279918488043610239122615448786856372879830587812922581579355750545301862911011195328395664325021782239523332598190513759513519479425022090830509780683429110506987238578621681314364249533200184188058211140310623916834258008788163657209375747240957587615079239711971475258958196075882467034207958199112032314708620521339630724541350495970431663708388138220914045842698373415055998339085834131835072498569921444140966841422571106583024656133264870246716369138790761124023889471155299615684218723166427986080482266606274182214758443379729507862186754124079029547606176933483325886105705359273321469329276895941662434977943608905303432355684592097131438629391853194339838711072635117831982477204342745383851429606514446516576449442061208524988062575295790927362902933821971991967175703466832524755461210367410075700042430676067939879618972289895709383388635173981053982993761302388234321041816325690433538735660971030869585397029137675798597301141547031448006816766881882561003398343907566814227607044740023293524263360301971782709153532379676015236472796326649235165847630884662807959375008600813752265528156196690166335729160581436241252272001109289243105249127518062033032040185512975787832092179480347191332357397449542698805266911243975160387396709666508858849776855224738197384858036101264397230019343099607844229099369833131880360619667685377261346500484923992552676825744614154436996072766907278256834119587207058418247713314324907087604272928322558262384672217125064664905463001204609911901420335365563853510526891724354280206328308231918514362749509569434486881263870922165507596358649815789689787815323055339398498129183576556481880130510713327578218606310073437327168727817042767120641947610845071867385416445580367684311176858362184882014938018895084002877988346732096576577636518347396493151975107332390998461172107812966446606434433058100750022476013621372191247759677773061450954697600100477389907251056462093873408041055391385729467711097591492770342138823717743935144034846360825153730428937788306394872386442066831046924306608983315763353921895841322116996974288880335142876760562594414470639506233776034668561873100927436700546296639812616806171306503695192852175036236839728798384854661122406438579661349766869857742882521719438004172496697790846470920025527232888209601380401712210842268407926485687434380475469862514251998767579544525779681596804288069549915290407056105797678058487964829092966868080848230275968847967559414515684280319178685256257497099789512224525899320540887963780578667551069738280751586855756249688452504226913538761218817542342727023687754192591119392699383173789424158396825626924977689681366679595829743572829582096356147338511015804550217461404431664201414533238140855665159203067356858927076337413129866372311573748327111261669475408795751620337597976485318404568126104378548694453667929970402463726743841749661157815212457452511026723653555541568827271548477350336010113816532034121136102669797891573856084915228698250834761104615612981592882730120828138728918041662400971782428878524898070984152627661380898626837161213015839069716186356584055636967992814883427484093355756412388652400201501775305075316429777727134849866983029276739609607667827805725321599339766805655463858423768875470299521956641141476740504882056067832864671802131164130781878199366108428067810413877132740729123163458203649670664675212857913996106585996596681991532977940231206709017417529970780132142787788790503485184847156763195526517271818753543602651987559408677685099546628766073302149198335810084900215785231119093670994657534685215925643632986316450778776032687194852188494696824291539773755713489514550482326690430680668613529211463997316186614870703112340400557047216277923359623102333380969840476848638984581633715255214453131215393040678214178694175709395026346888203282038315205976643002789888547722103074893796874885260891341698646928153585089328304662233127775528754808152097669474077611648827288490374351583952055229280302491718641936624855567438803674923806564187182285205265423120622073725086468095962570523083166093265995582458374429899829512478435804310009349817139379643789154018557788055121168406812732935181594916677162456592016640743180763460817559156971489384468857040147851447025456442114513319311120203168429505390765769646417585081434718264624314533656852926592349449027462409074683801094925850213683735836120900950063501808558258277897754484913093137128019803731558274467430197002764100181009848576344447442315216748380685183239974168999278732279224902689775996393157686015559803113538933743050803877543209042533020898775129536173347977262895311240641869249530524745098938825516554967211858236186302563851629233511751228386783449930163649013291734611693406126625288707650306182397912140288998351596248762421421277848042992262151980638628589987097883251848417626692516166570586636210753660004171640101852203688541807941701908505239082710222503532610961613044963889295334070852566550060988070473752795619792157519308325469285622999074123781402824329872644841152485990555519400173633217287930307737536476745345481543337390964656164136641521845041357993665276345640089592952258320185422495821005701681339405698780979264437448040114571909884157235201428561507313694854209044807952771720490555450979158763853091064214073807104094595450643140298411226790962387565952914469182772118150067985426569740792887404643150111889089960987941592331502236747707540000047996176906306806060514868614651360837309641655442213628373279162510764938817095974071618616443818862164868971286035636957868080802176625043830744670263733407979085668380874772378540175623109779339415485370140586376402785654896146940943604089412005038732401662849395252095682083910773748670919380861730531825321124268326826687179078408436324614686072590824604396763524958777360332267331013850550096961490643675167204258740723958355251504610904622127497820977201617301090561290544278706989303769549183353317884525605550742984175881185992012860651353696038684385954836891472265769888685993536461662606164554191721968537040105459779714529088240487711939946153180489855984253683749433135009716964886547859078988209105441214513487055113364452766898065665785048757860697605579446861783826738987312158716949684662034404487458365475506504094985476195851592604358056239869073721371581710259873040217004042460456115034675666587206942145272713598330602646420156785059339098901823447206634597533705337401938028338730666504707696730456331087579555580531641685116966697759416791239149122009712538534838665085774421576006006207499448699040244513872397634084173731152062102838676605472486250374374397363237463624793385383818176549885157466502764285231328276040464589737346741614819034625564318082149469482261630156119894127944920891012175557637750602552267330285701910415613085776852757781642168863709099551950011241588029422365976664501330594651738445265382979611496856109401802006415509304398557982578224593177292916673477529356092414273130416970845637475647879427228729489841889153158617545248564719622812392536215254777620652723078699483472592121207933764670640946169483028559441363553075607690173890527693830594535523523882876982739981649627843745368830903574515963814322785112513876228811225265334218840325294173832919495796554082577316087905256579064483852436420308436584619878268739595340451237583840347575193456646485009314657611390104401455550564386591751840212928165860164181861174943309441248069584194822319785008997491065262586727064901953288803841802306292361485380605688256478831687361855729949089669749956898449137192871140428969458477632086044369357464032058048196133010135663429644257905057710976371135111745482222131178764010147244116610812157098345334285156476695437778899771802145768768263782775375320519278725442751663280865357811956174775918104497518280758204296430902165098644324398745266545125864705789021964738198689525229771987033365047642324760948470398799321051132910245874026091025515985772828943258811714526816655233368796422668767354166621141452344542691564885692498549933990752334436870349143323665070530470180682995493181489288168889926661066434712270549380709318188674319556167448833273410409523466865795694218956727737038337725108927787044844827740859728192835816841604666488657291449284145958123320637679536523767037256328914856343188112888479971471328367342212729389466852569895183763693749378847984450198248539657760935117843048476070143858745175557099701714159056657612440438931784995986040480561751142156735362100040832516638952232825689257744063554640913424274356191543681531364010453243631416581467904739712275425362606705069613927232106067346061993167197347410955075994394724318529565049745375213642508134431520665940914742625165916474150286302281262365294077028102065631261657039426843117855462165207967094264935022766820269922182095447895805901794429631035534866627118077308075810670047919457185454660230434464846035340739685816729666771306188035260704672326375355642683438191491154670192402449838445952911861182303667758265485339303163352446178827545558563337975866065273061625226193329941648736928180252748781375649997123824300629633564978871747742077041018498108996383728779944286367434212128064089258214469799406222307691719471111244717719418745228176317580080247200182998355071360502860163919835786750949338528989973557941282399349509414975940683849938335281620569358022983977343618371650153085988353478978812206812054205639661032752565700886437911505476295170734128935699255039861693675199597840667644738628336384695452624326951887827194111542897019427191198938310859631382676741682860958802738493656419182216151744121988744649997598476663304248437513204837193473249881019532330931749045854502200623779288070862461094581234631683871973049976573571430168119288532984073892210971199788189587221480532597103504990366684952146120510155066641101828959329068314880316570130260659219559668044793425503218366573845052015367323809839741141020606266947545677589160133886273723748116554100257894423239747085281750539962729073357938927113393523210018788202073073200786806861915110288461479714853114329164735118544754496455300612308441742795602094255689809809183259959659886256394407780061292072118856838628241184440177974327199192013750693048996837316347974807083525414283570995972365695575899838810777917835493889591479388062052718682547480094918020730101823901391514513519508108200557091502654142810650810787812187879571053927395665074828580060893488576732125108272602723930470529455750421894977113319231874503859839446787041257853684600970221227566957440743786323543081958772667521325008292558463810040168231065129770909258018779167854640091192374064655798112834741535181487487904722144509388653843038582798604373604827108544212822373697746845552427362013165542491362408555500572591254625172627304191585907154398365521293414990863750721551232189955949479616951583072513989035994502665884357123884499169310814214425281202899405007935363888727271997660177143327984866367499247221795913965886665488774506322120042867232605064230496782172800261372196502552014293819734954153912914180470186400484236909333778659512689835666720396650445422823580123869972605346987028827268474933026417408641610882679396920689537827802603377972206718029429354634481081806686932444082449640596106202899531170182384525769676413340724699669214139980220593716020437528829844132503113891980148095931515397668390248030419123664587171074336167055296418673483862175328963803421589028359572659332484076409389523644571888567376615864402780946515198873421496277940408788580445471867557453743433835514234794282658541588686342883960667166026459974604790110595020824185675738217579326833754479227699642935271604292518785609217423927578147697926972063199466581556609272694559931682079079523185847816170396744215991204477715033462696801374003191412525071425371963049052893077917867689544429065262648579226123479849847266312970770596640551793828890479963178789917640709401216856170170114869583218033738829945511930438068297294672951242765328417880152817533481129218840063772819970407966715973787642165350403568738013846755044668098781616611499745313284732326010327296005675547151916635532436643906801902871319808836138300374507403306862118411889104473182319730097850649740132232685948774011073799641978311973692604044626760676267652451396033045449085316715644558791490927881472040503258073613654148049423107221337717097606395804301183916091093254946448974675938417565359233272908785623600615307812172242661236049259932537793991153124738285823470180102873214792531658834334989075771784589508905146988586131806507091600751795700389570191539484737817977502810023537895975885923336578925392448233779421487104099269796176791267404067506521346309522421647102794710351987428161607515970291576281173998836826893982696203182285183412029669468203695901961308696341516144973190713783967948208915824223612926145668235335633642623066680174314296614337007014511003661511294068149886583662184551440814673404906718747569518603268904224739583127710100412976863262292577244912453096922540611203643137025953212038915934751094128283035405119219782458469098419777518970871035347422496284063378396290731981205524823481805859215710942472723672614926912698127556186214621936543751054635927429851906954757873505915196897509260394844042358873513608902294298986087348187828498725298796376981341476949017091378289374556968938051945811621266572036945465382242583231780513617015785219480610869527555580325328915673634762539620632052534848641302390335575736323039394342628600166092117356609747860627118146888991528375617626858386588806929136170468628054385795668071140666269683638322849182081095231999604802232436432896732513049175336919604207236487550710843508242654380808818732747666806737343301593240112852518124890509541192892730279459273063261392479490483843340310615322472476698837566924433779544364630612938985696311631038352183834334057337637400796476374853769376650874450508059041432038713075244773395812805342871262062601768573956374794902229333116468817437727043715881559604270140904004298980134114543359627455274441477111135844184445378382759513531649428481878084919429494806803179153053808773314657047912775971151030165526992217269392847706105714430732962223752760756795413549615356922337859770543328017020561361031831356114407950992386418098039599989907877882537101494292229009922598466415715576739932165345922181709059645845274253799983145425221661838095328800250979655444999647700259098198904663072822947826492211908891996438359828427860785334581819294520333634746901857042122892014665960834994769142717145415262777185464193499072905833616720826360133153985625133712375946952960347803729295671988240278479973618724616660199381695578021232992157736104706247109309475908573532519987576155495774916459388252783319111320826639410969518327405337242459349196767708575527198500584639318829706084621245643719396906640225810959137629564492926849584766961406090659470420174193639056256526847440906395210861595164070520378183233787832963878167989070228952621680316197497259131521279730243031351611196823053311036110496320803233581977161784330160556999651603032774180142895187655452456642180361250466521457689220284926878304172381435252466430171651267174170146632533360382241384860907679116862957209625432158830279243084218757305771574137654701727352417412865362240744399764304755480678195651485883302763758645070487886010248952839571245761649865272224589675213653288684555062779186304238087701483651096189960751888929057568057597758568287903613419720978095122253983408910587902631009729072297982253310306763157382324877089832238549505909578242328478473481724824864391190828462238337769145044277008954298721590548427439498728434629910631592548006235891604760321266036949945010964217130991389074464859942111273841774083619411486799236718306761271966684084712603765762682324141536243466876006688532265691093044668107114459810240260204936784170061973752959681548172736682358899055732524298948976328012671577497657399245849297158460889565546323148491049625984142310864412456249928929518984181243241494383583635249113181788126771590169124780662255947813055673916592065271274991203538610440868839407169221867134077963514269162516951501948063224986810898373953289303971851241799327692721921069920943773372478180262842761665198726379748314313430134198657848830850440225284084866228498089351829572868996832688405576670670479408983416474341425508602114832864875501174782754132577671645065684535837788750377324957477837052900023855428591853886226294245031992329232186684283002302317487071731165460206960628237287764374137460178957126139930420552212805892936152361100151894740942836314719930848396649430304671321018224035943671606558187918205772913540595269767207874347726399479399295997583466877865993991753176531613493808741067837190729638507790776720652353676058412801374377647455709917283812107283321369774120604954476047683934833160694972752312264928426874885340194621755321777475284010970353640269763029306278775143188805640421846696474012644428629093687309876622520614639021607002518311152721723558985348060122674898333053620756563066396749809303744167510990896517737057601345367004591960238360744609953173803921373126934633432627113027840408785500894387012281258217750763259107449798385880377166176680879612343375863413728607129131470430141502084038197176373523583143619245441003948811038350107885649151291795705938256403953851563821913109821843129721633435233343726509508352475100707330397345219202181199816008313225515710155884854102072707458373652544466963157646915338003947029145868532056070811645211759321218026888691630164763681020686872697389046509851430819031307901069158313550391576513972881503477147606969784747036662006139802172444389863717343977791833376705782794450760909382671114735757485305525461563449671803574620920856178989549810948371782585952916020005471499421225664115363533446479349811070794837312935843242088458888597833165230247713554770997062876984341407609535291166745775119882392899290549641884686836913245307683867478866762390618653887175629639980568450045203474407446954766756380732997404599008400496851471464964817915676004073750001643526348017816934360317892529141654279502469270503985264864552380835843688213008121545897781200995627057170589934194285962666260285001815932843950474169809094480576372880868980354128885757857350191403836822020006467559670254741010072533926067668706728863880508169045673307400416538120177152853226918912223850908106539350192372470323636408615279829823690173245431539325182626902801119588360133895153140220394319383281794648878687182642915120765951555081921270732829627137715502718520345022561792678589601057381212070680993668864099382638398425356193571948568312661996597296378536384120730233305565162399060456457154220387118625780106212077988328623422971744852265872053182585529555414085595816685138647623764491268038565854929311936009204291197818470024318701036059734857300230989840204925315066515071263596042568216062689757412456608662785643428043121555119219017249737258230391921030174471939947460119363400382323205181948771088808862172057938783920619785638445599096898594582265136229020205650202463290425566075288289460251234303192119657451229941697179522300394767068235198450849220556923845985284686743745491556711563811587783447871911506057390641281635294977813861893203200580311664566874717820001891435595408546408420732304939710061731355576813627283989459918127568408731633847570421271844431374523265227259483834450598885200163367113830732887784710499270929868448453421358448475835740484073323058648010812427759157326039115040197730579435271037859066765285513209322282319771912153385465267289689594767036554960941648084498753941792191150047520893026790163845042640512457695027834098908264484547903175490450176657691411371843262387302743235731086628111300268069147759507667774428198082237038297878901074499715894546070150186546011116641710038683285381511546115456427453998086185393083143869698598567700507090980203570795406518496483818298823005475475143467153123278399656726502051669562787720571000290880852258036775973343741993803504163637728202628485676245384382548914974422870915889921527248561201217390177892273383440813928477917910069914611291109511103389222518442554939506746316763744952838995979167986054522166696883126123244485606077235165570814493228066155237675782246787196630806643177078646847562962980315085522901556090632216945114068314400374862468124425545854197879695919860349318335414238365770617566743228318386887188651157495179359022296955561898240926748377983279770258439061134483559719
Steps: 1927565
Otters: 99697
OtterSteps: 3809147843297108478623395560846941451147616233656935590592213677682706607153994356803223323988331348841773243176078001498554478918179443592976471414766287574456335230554382344269958352622047909358985424123320586489988343485651109682579190459571263326007637749657515071835567016487571215035188972556861421766735306564862476108380465062989505280114097560741654020804378868927897729873572566569872058224089981434734078807473576859750007637668663592498649987783673338663303675320413631362486411994963504373106036547379199656130066103620055241631959400614865856000537712561840021810917259004238738257167993116208143159299984194435248883734790394083545047940487916091433786825779377301495281217962569126520260113279918488043610239122615448786856372879830587812922581579355750545301862911011195328395664325021782239523332598190513759513519479425022090830509780683429110506987238578621681314364249533200184188058211140310623916834258008788163657209375747240957587615079239711971475258958196075882467034207958199112032314708620521339630724541350495970431663708388138220914045842698373415055998339085834131835072498569921444140966841422571106583024656133264870246716369138790761124023889471155299615684218723166427986080482266606274182214758443379729507862186754124079029547606176933483325886105705359273321469329276895941662434977943608905303432355684592097131438629391853194339838711072635117831982477204342745383851429606514446516576449442061208524988062575295790927362902933821971991967175703466832524755461210367410075700042430676067939879618972289895709383388635173981053982993761302388234321041816325690433538735660971030869585397029137675798597301141547031448006816766881882561003398343907566814227607044740023293524263360301971782709153532379676015236472796326649235165847630884662807959375008600813752265528156196690166335729160581436241252272001109289243105249127518062033032040185512975787832092179480347191332357397449542698805266911243975160387396709666508858849776855224738197384858036101264397230019343099607844229099369833131880360619667685377261346500484923992552676825744614154436996072766907278256834119587207058418247713314324907087604272928322558262384672217125064664905463001204609911901420335365563853510526891724354280206328308231918514362749509569434486881263870922165507596358649815789689787815323055339398498129183576556481880130510713327578218606310073437327168727817042767120641947610845071867385416445580367684311176858362184882014938018895084002877988346732096576577636518347396493151975107332390998461172107812966446606434433058100750022476013621372191247759677773061450954697600100477389907251056462093873408041055391385729467711097591492770342138823717743935144034846360825153730428937788306394872386442066831046924306608983315763353921895841322116996974288880335142876760562594414470639506233776034668561873100927436700546296639812616806171306503695192852175036236839728798384854661122406438579661349766869857742882521719438004172496697790846470920025527232888209601380401712210842268407926485687434380475469862514251998767579544525779681596804288069549915290407056105797678058487964829092966868080848230275968847967559414515684280319178685256257497099789512224525899320540887963780578667551069738280751586855756249688452504226913538761218817542342727023687754192591119392699383173789424158396825626924977689681366679595829743572829582096356147338511015804550217461404431664201414533238140855665159203067356858927076337413129866372311573748327111261669475408795751620337597976485318404568126104378548694453667929970402463726743841749661157815212457452511026723653555541568827271548477350336010113816532034121136102669797891573856084915228698250834761104615612981592882730120828138728918041662400971782428878524898070984152627661380898626837161213015839069716186356584055636967992814883427484093355756412388652400201501775305075316429777727134849866983029276739609607667827805725321599339766805655463858423768875470299521956641141476740504882056067832864671802131164130781878199366108428067810413877132740729123163458203649670664675212857913996106585996596681991532977940231206709017417529970780132142787788790503485184847156763195526517271818753543602651987559408677685099546628766073302149198335810084900215785231119093670994657534685215925643632986316450778776032687194852188494696824291539773755713489514550482326690430680668613529211463997316186614870703112340400557047216277923359623102333380969840476848638984581633715255214453131215393040678214178694175709395026346888203282038315205976643002789888547722103074893796874885260891341698646928153585089328304662233127775528754808152097669474077611648827288490374351583952055229280302491718641936624855567438803674923806564187182285205265423120622073725086468095962570523083166093265995582458374429899829512478435804310009349817139379643789154018557788055121168406812732935181594916677162456592016640743180763460817559156971489384468857040147851447025456442114513319311120203168429505390765769646417585081434718264624314533656852926592349449027462409074683801094925850213683735836120900950063501808558258277897754484913093137128019803731558274467430197002764100181009848576344447442315216748380685183239974168999278732279224902689775996393157686015559803113538933743050803877543209042533020898775129536173347977262895311240641869249530524745098938825516554967211858236186302563851629233511751228386783449930163649013291734611693406126625288707650306182397912140288998351596248762421421277848042992262151980638628589987097883251848417626692516166570586636210753660004171640101852203688541807941701908505239082710222503532610961613044963889295334070852566550060988070473752795619792157519308325469285622999074123781402824329872644841152485990555519400173633217287930307737536476745345481543337390964656164136641521845041357993665276345640089592952258320185422495821005701681339405698780979264437448040114571909884157235201428561507313694854209044807952771720490555450979158763853091064214073807104094595450643140298411226790962387565952914469182772118150067985426569740792887404643150111889089960987941592331502236747707540000047996176906306806060514868614651360837309641655442213628373279162510764938817095974071618616443818862164868971286035636957868080802176625043830744670263733407979085668380874772378540175623109779339415485370140586376402785654896146940943604089412005038732401662849395252095682083910773748670919380861730531825321124268326826687179078408436324614686072590824604396763524958777360332267331013850550096961490643675167204258740723958355251504610904622127497820977201617301090561290544278706989303769549183353317884525605550742984175881185992012860651353696038684385954836891472265769888685993536461662606164554191721968537040105459779714529088240487711939946153180489855984253683749433135009716964886547859078988209105441214513487055113364452766898065665785048757860697605579446861783826738987312158716949684662034404487458365475506504094985476195851592604358056239869073721371581710259873040217004042460456115034675666587206942145272713598330602646420156785059339098901823447206634597533705337401938028338730666504707696730456331087579555580531641685116966697759416791239149122009712538534838665085774421576006006207499448699040244513872397634084173731152062102838676605472486250374374397363237463624793385383818176549885157466502764285231328276040464589737346741614819034625564318082149469482261630156119894127944920891012175557637750602552267330285701910415613085776852757781642168863709099551950011241588029422365976664501330594651738445265382979611496856109401802006415509304398557982578224593177292916673477529356092414273130416970845637475647879427228729489841889153158617545248564719622812392536215254777620652723078699483472592121207933764670640946169483028559441363553075607690173890527693830594535523523882876982739981649627843745368830903574515963814322785112513876228811225265334218840325294173832919495796554082577316087905256579064483852436420308436584619878268739595340451237583840347575193456646485009314657611390104401455550564386591751840212928165860164181861174943309441248069584194822319785008997491065262586727064901953288803841802306292361485380605688256478831687361855729949089669749956898449137192871140428969458477632086044369357464032058048196133010135663429644257905057710976371135111745482222131178764010147244116610812157098345334285156476695437778899771802145768768263782775375320519278725442751663280865357811956174775918104497518280758204296430902165098644324398745266545125864705789021964738198689525229771987033365047642324760948470398799321051132910245874026091025515985772828943258811714526816655233368796422668767354166621141452344542691564885692498549933990752334436870349143323665070530470180682995493181489288168889926661066434712270549380709318188674319556167448833273410409523466865795694218956727737038337725108927787044844827740859728192835816841604666488657291449284145958123320637679536523767037256328914856343188112888479971471328367342212729389466852569895183763693749378847984450198248539657760935117843048476070143858745175557099701714159056657612440438931784995986040480561751142156735362100040832516638952232825689257744063554640913424274356191543681531364010453243631416581467904739712275425362606705069613927232106067346061993167197347410955075994394724318529565049745375213642508134431520665940914742625165916474150286302281262365294077028102065631261657039426843117855462165207967094264935022766820269922182095447895805901794429631035534866627118077308075810670047919457185454660230434464846035340739685816729666771306188035260704672326375355642683438191491154670192402449838445952911861182303667758265485339303163352446178827545558563337975866065273061625226193329941648736928180252748781375649997123824300629633564978871747742077041018498108996383728779944286367434212128064089258214469799406222307691719471111244717719418745228176317580080247200182998355071360502860163919835786750949338528989973557941282399349509414975940683849938335281620569358022983977343618371650153085988353478978812206812054205639661032752565700886437911505476295170734128935699255039861693675199597840667644738628336384695452624326951887827194111542897019427191198938310859631382676741682860958802738493656419182216151744121988744649997598476663304248437513204837193473249881019532330931749045854502200623779288070862461094581234631683871973049976573571430168119288532984073892210971199788189587221480532597103504990366684952146120510155066641101828959329068314880316570130260659219559668044793425503218366573845052015367323809839722283899798750422974733566501120566133247762692069209752329003529174489420344217628485613837455111107436834935645352599251400724046114700083463823310166357221992489820336373984089548976229481950066884564281498259767376707041531069717250612610106225286202208858989992900073987904277814507700525167624557321247928236678326527088774569615288601268906358242141448150368070357871965029309523561579542116529169875246476876277948168074915673753683059957400891079677413410518734185056989383602837483542205226407864218290041830968551879417784904726965904778993886284120815803463589704482912226067029855200132909835534285720975337647722625053275232748280774197660083990265243462143642683938435623616715092346929895336340098724654840536786055734453372038390881222830480276604532964025675677576464769848806859213294946771911762832468982192474138870819744710656196831102672340218390529439653587054107587083984944909763938149841865494987578817110640549327357578036676557750642931022030750688650235495986817316783604545634024410944577592788342369178538025988019229292935296262060050116371515835069603736657827645283022995460864541965958243015753462365129212708988739164847521691215624805410702927430313777739506043214575180522569237507500582385441646585451662005532857202829616508168160555079949043862850759938873027591980432338527935499314200990171422388857418256420292055560021218902703589323483102821765682488988652808879038658482605707219573867199182810189103101386343754274824058035737697531651859398885401582977399493851486318879529968519347311779388076920795767763165756691254115369182244779853591156269804332648835744293919777286249208485826486892116613206188894953153066519644987354517803020124973915518862660925347444568682744447705528354186001552995263376367765512842670264966405701623176375160681075478875568268089560461038211404838348396134665380101351530331647760403102875488755695717489223777550283757205945832882835911326061307861593665727396348822605198949786410515881175807059407619200356928131553913586463511329115945480720173775516278968380552347276709369768542262948398264035975677561194025396994135345492686431060246634771041516524651414226459745921888111664815152878182162973857326815631714259166896733041026541342487010466941513376940264156921230258036671224022414841644282557902524597976719170094638292761485872175815202963622683716669047222042773568958868057610191446828635999514856871574629151426682988945487447856394359592585113159119943750211932054792471240439559685826341428321172173031642331814507848827441034007594805080601825772486527317937396757811344469343701616811604030957192640577882324340709930496560956394869717121017404860083569616582676059598238749735721153589896225697297370128417850160161705591079571874940823514064967818826058012968736230159497215284295912939515572325775935352780606253613882444546899208697784576302752590044951813588205127140018470249464829186511678193704095478817020086090276977626078354064410265082651167549273012726961270534781606318804215941448925565805845055242812142675465255098547749813972407882114177549378370428537815405614775334595859390745711706634669324377286517034662537695045998410592261489265976003991278649850208117992095914215004118173590118100409918062194384889229416524462335055246195328476097470956383892901098024227580860807654061606207325764809866642235619222846787412136946265875303247218583097906196150506972885391457939357332149586120342872518695214435228764447544007883470137563560386300286031341799226588593298926322221604389504205306605818331978064246644909752214823685087873824585393080323986109280605275990179755715719605558079197933620866092066022106097301561382271268077899522138024789486153846186547057626954927822550636296542841045110469023667438657200401347461127487576892942124471543829613478820724936477259078337996592283021109728222359321539238019264833233760783935622357827235754781616550153696536548121553140193967532799355149483954264634925991106420838739155957922899607389345680465227710890920814700169076449949734181581986353832019151736213332825973040370624750304245294805953157084948943126679040711164039742860441516327497163386496338478159935598677755644348682139455682198417986083426452049148698872760382195967265948212496190840336123081133425782364556464319468652974192522340469877781491817352646546487891741836705316554467952636962557822278292941036739875249789513453240009835600563697428104270423571249418724813972132113820797472491878156466929628287697258749666751527690838829652092589474321746985706644493913853945907093694418460810369254811445701969970986503782678886334371751740480854772478406840887953517987928099927325497721326060574484354138145644265216909552941926146715171981412957333849685600368533251924331768883424829098989700298226656906832201455225438330035464578712048601891237629362344369281179268013907263393068868804774404911929859353345377928678339511644472666707607852521608874765235812904287512156886349564716353908396113430772908995468943346157820049765526099081685215804370118965144602933804399381273195730757664673465561216150258267370945253717625608834500783452941536567402645958151942662279188479339773156726728911553197354669229555844266475323787775137024340488412791211025790839814707725126838463039335673388952148036522720712628133714779763339712628104636895743908974847975479697668866853901320407507466701665334931303933994779145762918523440695728803731514245882973146755440173719916954705522768709460045881319938465749283635217991827377418351145472611480784779540624174437889653878612671339326979402155157800192332379570974353917455783076255619742062361472456655833386343352186759571874464951651214499659939428525185509271456591286118477786963209768125823308444704434048149714026492579332051977321244301834250060345472760302955113136966178530199137243876939047957275968666693419142103787934318982620430451148363337855502654615537534147396245442544001088364792247768654049212864213843752506960510288038915686204201868509951225862454530788517049466283705232421397432204387795664615105828041734510650056719680020685688805928663222179851497215023552210824747431284327794619030879324034802884036469521149875407559471705744229496547741784728384792714130474128147716096223358054575912416813737048104441516759334939876757405284760246286272639512415181118796673749154711720503245117546610841946961476709850622136890486677615588740730706878501660602836550121337751972978272910388595370911674471005417153819744695764909675372397847674048628538472229817910127960232198988042905051374089600495839001305661471678465999848092626977242256225362786286943681976731705134621619746760676335045255401692548183758663442178917551164245638921048084038788804593041308486097890557499443794096771387698436876468328340862360682357175424903057605450103311920907225565389591838309959995181279106901761795204654568107540157369455224363087151815217642424347954027408462572523040264303373552637299020534839832265725204842199107784328833188060157419578384251645093136537384211536246638065319052922064022151068515328292201054964092283795204392501645973119315937752551936518856131072814525277254333220277528143272283794717544039768011108936172542243692011322936496428327867263030883601869201394334969871008431708475979105585612773038250532019736351265236142287964656684300361321918060152499793405358755187739565585441542843490834021716462104305031897854710301898542377948071894412460464897717389167051322369199661243665066354907305670151765615041982964633246095504603548030784391702772997422333939165288239637397882196355610746881972795560451697489975543819183473754039010948543272874704414704155832991309844789146322826745547372087474331756787092046680075286282636189165419150465190815846814572237141048931442871514294422384557614036447089212734967035781150971983775765408898430738145613053701247362909036333538102024296145641479861121667823514774485708486131647015703162032419954432462975163475648503650583193055952331565185909987366527041938036491881726617353904339378577495389293366378401891802270202197744728054797486126239385350454347324996726240584170873136064101953270395081347678058335824225958521851398560419410343308150921387538917747967241904442440948073987001467863238407274467261363242313632409860695780995329585829495572768358748473182771726294040329986773524167393751450387515511715162502720653631741782387046007484749407471997756881887946106877125452059422894567662883543578944090807315366100165859661084120831645221347849869194383872136781820247136023549009184732050439217440495563058775517007420446593721176362353139778859503257479445335112580465450312832026445249601940052273045731942974495507991369331106228136367985249092436049501959353532153261068817272900561865504079136080407772566972328357293614057835965057340939136359343392643925487853711477605580995254943196031295662495263014526370040720447628040920166634358594105531933621752408498915591166007224147198195441428433374945497760343406616216270448130628972651760908087733512725877060950258928748566973547536914406892980434198371841703942211509126129445956169977754475329764260186407406341354269612717377152336679162868824838612643994419356794982498486917722989504005463914519351999496579358990880640121823690866417161312454103284001481202857975198821221951807951283897648887103731215957469463337322129492355868019875781240959793948473891647523604535230584184756551738880568309566378092012439595848147748684085103703942331712747762449461762645914220809961188267986159222352454019422288707117977362181129873506016352489778076817729066584881819610842388777543606522751749527849448548440067058391973505758628901280097873717985311794229842957967612717923552196472254050213070864422927676490777461268042495474212504338010899072750637939681857323060803840842248678547176194044668880004257834668698673961840685411956823939311090947628557437877039369133769177001859746015140513820664612905064625912088801403081468250025453515214843249321028404026603328739330445076071802503958378656605761049141269128812335309754498103607959275520912980634907651979728041206221157526687142713024496731353116151726085871110125939919577137608350516983733576378610578599584548440264843779813153204131927197729011670521714790223828637635415070070813224472455614498067585347704528687135666046846089192882331688021376254961363683581522281734055394978540006275297456966236734459541872148854359362604441124571639925090569582303921112986508877715621211967940422495189195389806774044646036542275963150295860931217448158088935010391590496334909700612509070608131555780713106746775307129725794469737954339459521221893440168375322088568
Otter Time: 456.053481
OtterLess Hops: 19959284
OtterLess Time: 76.627976
OtterExtra Hops: 36213129
OtterExtra Time: 0.126012
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,c,[1,1],r,2),trans(c,[0,0],l,c,[1,0],l,1),trans(c,[1,1],r,d,[0,1],l,2),trans(d,[0,0],r,a,[1,0],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[1,0],l,c,[0,0],r,2),trans(c,[0,1],l,c,[1,1],l,1),trans(c,[0,0],r,c,[1,1],l,2),trans(c,[0,1],r,f,[1,0],r,3),trans(f,[1,1],l,b,[0,0],r,2),trans(b,[1,1],l,e,[0,0],r,2),trans(e,[1,0],l,c,[0,1],r,2),trans(f,[1,0],l,f,[1,0],r,4),trans(f,[0,0],l,c,[1,1],l,3),trans(c,[1,0],r,a,[1,1],l,2),trans(a,[1,0],r,b,[1,1],r,1),trans(e,[1,1],l,f,[0,0],r,2),trans(e,[0,0],l,a,[1,0],l,1),trans(d,[1,0],r,c,[0,1],r,3),trans(b,[0,0],l,a,[1,1],l,3),trans(a,[0,1],r,e,[0,0],l,2),trans(e,[0,0],r,f,[1,0],r,3),trans(e,[1,0],r,d,[0,1],l,2),trans(c,[1,1],l,a,[1,1],l,1),trans(a,[1,1],r,z,[1,0],r,2)]