Machine 87 Results
Final configuration is 01{22}^(4)12{z}{22}^(digits(4562)){l}21 Ones: (4562 digits) Hops: (9123 digits) Steps: 1511192 Otters: 25943 Otter Steps: (9123 digits)
Final configuration is 01{11}^(4){22}^(181382){d}{11}^(152181){r}2221 Ones: 667139 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 01{11}^(4){22}^(2){11}^(424252){c}10{l} Ones: 848518 Hops: (12 digits) Steps: 1535 Otters: 26 Otter Steps: (12 digits)
Machine 87: [t(a,0,1,r,b),t(a,1,2,l,d),t(a,2,1,r,z),t(b,0,2,l,c),t(b,1,2,r,c),t(b,2,2,r,b),t(c,0,1,l,d),t(c,1,0,r,c),t(c,2,1,r,c),t(d,0,2,l,a),t(d,1,2,l,d),t(d,2,0,l,b)]
String format: 431rb2ld1rz2lc2rc2rb1ld0rc1rc2la2ld0lb
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #f
Table:
Status: halts
Final Configuration: 01{22}^(4)12{z}{22}^(digits(4562)){l}21
Ones: 25676629135477866963412174114349921073800431177420388398360679480096867532791971299309787637451358710976908789192319910361493513733398314191678717579560515859576707827908313483631572324998719822958383483368702311586132098913601728711502481295590198883280984769656389189726293846701449516514126556186001120046138961057305252663114468029917984930413885852111245955766987445723683653525522673876931010108407513909615642761319356946436490932317197299704485308869326597358478756014524071062216425037656836894751406013811160807146029151393766473904609039184601733838152487761327164469771744501961189274274397303568363586430523994796734780280866207976897896830391610994304428960323377436780714147765189259622506359317144170047874052044501312214333500579321942167939992646170412683844689022081202995181308033701536224327216001455712999283911705110992432749596104521504504715172886315848602588394767876057659792933527161689590963453890915155350530692696778619911522139216587703385344055465129066958435716509272085369675602017075444842799103090040778091526619683298326348836675349873513029369893680779485418521087845842333117593941481149958267958849677034671558839359039546981600221075828663771925960680953914216482115530554810990637837672990554111552897009513521125144410159116084487368729863867623256788772200481988131754951892441405388313547345755289022765016344389152352832997770534222782717370731412066099268510436851605462992432381621030653513341348780279765996764105638518484548197482340563024844137929537243698880140348759890931097055203259309854866495690335444964765753075304261260029794667064524989217890757307936985845660984387363373921620990119043648818183569610826669492716236557918705575370067863372019985962480088947183981695201946201814126619468179597733855943168875094349368192160458504106118101430786682043731547099137276463047358659411281387708795801061339990854484267360645517495130064620302997443247734003794585913087302109021821805683152010520731955989985021217176570557468005972771182898729275109177095605529161320334065684161783450333596170090285379583532881710481219851484447994918145873986156237377622086790843830043963255360469395351955291541623250063292064843056483770582990367302480424223835652752339873407837845642198153102442157608346733167452573420231033404195422274059826123611162061309451719083916881320390082280520922941902008372234504812137425162879418591601752485815325005718660548283312708520637804826533868495215138148991892710100065376188279745184451609007263745462276591259726579307205315060093837654371201731952526116769830184499282319944549213989582327174096369636720588463968431267858832728526070247934119436255340587967409786330736637323425161989745948949266921143675652365040322610281645769519199519297381209867184553541523586211558863057039478988091366301582180009875504217479639306229080641102471532818076000572533181505377280533073909035664333682062263792254204541390030518935105639652483608541777952274358865185987101680401852378080183130273547986941143057677755166585512922060461224133062211847245660330520465615526260227432412355626505823704124336772781849480892794132712085904992201979015224442734748633833277747863287052693984566191517861589084230362665946263968546253459706256260363292260535889334550194964094282407282518277612565568980702339370969199460336754039003948285777125278801212044358468520396009449289944262135164753854433031202097119959928173253256039180240560606515840612347939843658694604206951643630107362464861390946204330628286953172825148564002037477941968985511272561518330132021159937224935791902518869746235222194061467511654525097371379226687898975383219370596228017625129240776598845439949205378476596991103722595648408217749909292069640659298394406048781338511843441293014237263092106009899723495633349891184106745751350348204051585908591022442187829776912138543586664604400498732224735458688061594953739127232189878456615240378074161362734220723644800117215064432700517310916792780273808163015905401228407003864900432216402372550201978090527369281487035003657149809322986194226971652175190406356354925498660308165929850718800357280866561460436365004075588447938562514936531584145123411906908057377162384842262668792450034652891021868037347432895801921014820659242297170827219200007629653731722077875242339875604076615174477458988157481697546414674722906653625223430372164780146643203779741456592187930581683866510370164848750885753497671026644757453441732479654991094418517867051782713813666343074787439026814324832758794522628155056862904448086054537318194986521192606939034452295086089516125
Hops: 395573570256522524289620624754684469326397429918573776856599657441087578869690008028945707524765433522265498337118936351608295569797817076540536122118871520603226430674432053235430674346785714392137730679753057799928151617144926141150111717376567711045168761323972189159065695325538598190348606708606448976401870607029840309283685749322353604476974753867365263623540459528410853299003242686540880535934580625623407999056263033953770141801963425468373972161012774138847006605227565950427958160486414203465128481861524860065134649971443554072363262299436531380701509038690493440476477201071408675932418775704466304154348068674918784639020560220560897339484459167592900829126179435172318987987814218519210563302849818100079649742379598777025956956349703532639242597808478353857412644427164743609422153377728096893705056063184765655956021777327433065826145182767453506417173272383665485819844103545790032384062905154987838530131624083782286722637842699145911845552064000366837265545307280553330180053870208353382168984871505039707249235614225144269448116306252678691611309947002546204484224161910997875014989294500359023200127628284182918676697170894172693757122031285914055858825724740371612905315456686215840140253267212207960532949862535132607169032379400629083393141125050569691745814976725301186719617967058017846611048067291338736305643449122891726037342883010458237557127244269418279593065571263265783349450559083169989366616664960505388246872002463206799691542651567544545493908340013947204911960231074762674418467328605977916000260753465464547615810360750153664115303928339812952994755490361292463916929948415031221185364233471384023290193624626653744048347338211078584382653999448878007267633655477207689311994540766098156965839235218787337663010126138474466025268066197448056895438971182656800696998236906890800269390549866678023767984323771795942098648343271339218647490486955900486833949117149876089208881421857245918627245525742467660271799761879256516830144722381282394291865449877894074169418451924110284727303441820487045316933633782832316668810678482369145652599718815515024667505124959485772984747326353436059302113745117494886151256490283775891248804709230661033479577821193967964606911193682495749985831893612438129899337173528225524686599372996290544445534121852209594251159039926229658874018661145215130617245300765641346371291024899816091893289845199764017776851425920373498900272741709835056517555205960036273110409269410588646431663857777588290814923227417454047576621922415610408060994450770465124708332436878656433234618742281037869838674346022257295884585340869619378941958343216846227481791667076443075409482278078233425169011834273586054819596202370873163441335004910315966537494245226637821873121695071468773420667008361715651737188426944100929496915394319011830523535093035441924857627252883990451812795880385011111500522123574496985735341414337778692101764829636328356309090519679898082889679685526092591113895816421504051390783389416344038277762410671139392930716641385857309440259403260265783201037346026959959828553317370602150439609855372833306734607029657942155237324522666996798700773203705885157796024544735331689123577600573545240560552849292364388901114124887028220634942947972070019843892681369905356594473958368185392629041699000002130273542164483447315365918343172153377819057020858731078948974447413437009274758270590261610504764270579412181322968735528514104997899249090947805069265108078469653599387181077045900941429710293966725730671790195453764092958814931166479911958525545133233730787317994813028532163418753796220060011077653209348904036074464963826376858698971214037472719402074972893112017706156043753191940770091439149724740418715636377945482656752241496199762545252631071005921392039168497573074878223361033572159622681246418206828448950850214625486867154486535993639930818355405064885244039398028299262856591042330186542745053730257821776237213271813485311630471516076679071114752469233504805215022371343925318519818143225892132716759804452725994647531008710192211929947815859333311553425960339217110790082779325667498920293314680579801673981396020556703881357581348256998952525386999343523962547499044688177024064413954776793237220450876087645604431100188516536334868109455045211185843374612149308088340624993531998105578856171148784069392554510125456373158076799067526122770248926580185358180902964502824961900667570028413158625955492984289001780380279252872948223588753316403514648615633333226930772369391617078547101461579329922204584342229391767940855776029160438163699986502810634662275407046942486874853074243008133319375862689806373871649970019425516197596532552271222970319620551564383316986087606252932400252195720340565416943519433292890750555412716225325080247031197366539681243792133202962176447259857341118340651312908407618811946008048070387870593126333426789182830100670979774055746158954918894117441171907030830953144022717740831066974023292493468193399159170066120474224409833159130756661680209571296118385844667291826245824627911437872851785103701673218699436799319389951037304234914458385563506016322860268316201145406010332289752491046013763512454904610485297606947918922535420190064828770233884498280176041436574079792064534281548866871366247605001750757636987525837423993424523299756003017691350288212006294384415389346103743069767352992672026202330609694020238223869746895963224022931303695086951355169618834224136339640885436536183612979939645959699737548966575911714294077399220334100399416876020663481743803232960049807782892577388290517947438467557793203561759119342125845170855899155286618827825124215283885384345792620202423376907530056775617687519535269621972506575296289143433239136605294789086999215169205479790256477152903199171218494489544091030724594712567984453821158619026854116921550883109555373420590710246088957365979584344321316599142080480383078505795669665090631142819498377309909428295620585872163497400299065144738427302639734479323572452909398071395797036727323312230239995789432362796432039540309090366518207630635555141051438723722772553167983343064542793866225044057808130507134481926151636104823744137886830965378240584715404390963189292628997924271486336205831930491872077369709991792143465436813042022523710357679885073719056833890511695037755351247607076338521357941634792958367267993798846539187278212530494879276685186596890097045525565375956879384595766254205275776869631366282215006619815532606263489114956739810250574004041388130122195360939556638442395805270340363573140138420233215277530875816530048030454006843296648781795434181874633154535174203947774948520264963422760598969171198344691574061385799899550731294645814973545320947361875015817693919473437335987259112721695621379850201634176494268282619305344376808062519672842106002162729119081448615566500202337663997375569210220750335609201575397585067885202295008844649960559064087746315119620627029786635420425470474777944233812419467177520101450074356001269364980288621128514714616819874030384667761003810153618282575883358960665707098881189158361724161903706151556473434934878806512596925001366555792666659954146790884248430950010646504684414708126298066589565474308672912319021743366322719642589257072969129924850014609310622467826625625463046931616524310127926806688719378523026942385887609789291287945224725899113390633465948075324052216933611723013649663188983360705707356796994630639502684257221383885084394035963975467189537339724159927274177930108239311312105053448211824462005897788007359229952314709711424142236200881453590503706115131982494395520686887431705930659328065671037572474092457985826948746522864240922282989775804268341075381467673304864775767057404898795363886835461600938524961806123445451289678803053165043476276223251666640494216118603661775913077154271639965166846529830477316694721771441845749277385501050150849274671177317779391481086690569651457658524648103035558266041206829721180633203130216485397377259532783673797053957377760057233113848291306169061755270175983185858922349395941475862967360586610175016070532672128568321055574537059108242082243086516956760193845738022714771383667474084979179676349449562196496946912480779652697625344987683137412419134974620067596305416729827431687066624246496541966478497757519508450192982820632783098927660688691926773745973996600861941599632157100137979173727370239785173970604483299038110772982841551095519899189695461204134243727685137899693214956482795658695432024037372413101299374086259718629839882228277576836713624185286863510651546979307826046140001351355785823097684989383163307627827469753470140341336962111824718450660300032903478785694160077428105945568003048053498869222408263309798315707932138026289914481676084927200659308110859247120368759297150039879892448003928005544965892428405693365943792778022692339076934179590594294881919292191285970677260994121999290577976715641795544521025155210861818109966898233602647522854495680330738531886341827346275005051717275002463279107054728870083417608973330268974289365711402434727571144489603115156755690403974882383080889818890445787130146752657739695287604141505052550059577695637163896437327373222029914822317277243158
Steps: 1511192
Otters: 25943
OtterSteps: 395573570256522524289620624754684469326397429918573776856599657441087578869690008028945707524765433522265498337118936351608295569797817076540536122118871520603226430674432053235430674346785714392137730679753057799928151617144926141150111717376567711045168761323972189159065695325538598190348606708606448976401870607029840309283685749322353604476974753867365263623540459528410853299003242686540880535934580625623407999056263033953770141801963425468373972161012774138847006605227565950427958160486414203465128481861524860065134649971443554072363262299436531380701509038690493440476477201071408675932418775704466304154348068674918784639020560220560897339484459167592900829126179435172318987987814218519210563302849818100079649742379598777025956956349703532639242597808478353857412644427164743609422153377728096893705056063184765655956021777327433065826145182767453506417173272383665485819844103545790032384062905154987838530131624083782286722637842699145911845552064000366837265545307280553330180053870208353382168984871505039707249235614225144269448116306252678691611309947002546204484224161910997875014989294500359023200127628284182918676697170894172693757122031285914055858825724740371612905315456686215840140253267212207960532949862535132607169032379400629083393141125050569691745814976725301186719617967058017846611048067291338736305643449122891726037342883010458237557127244269418279593065571263265783349450559083169989366616664960505388246872002463206799691542651567544545493908340013947204911960231074762674418467328605977916000260753465464547615810360750153664115303928339812952994755490361292463916929948415031221185364233471384023290193624626653744048347338211078584382653999448878007267633655477207689311994540766098156965839235218787337663010126138474466025268066197448056895438971182656800696998236906890800269390549866678023767984323771795942098648343271339218647490486955900486833949117149876089208881421857245918627245525742467660271799761879256516830144722381282394291865449877894074169418451924110284727303441820487045316933633782832316668810678482369145652599718815515024667505124959485772984747326353436059302113745117494886151256490283775891248804709230661033479577821193967964606911193682495749985831893612438129899337173528225524686599372996290544445534121852209594251159039926229658874018661145215130617245300765641346371291024899816091893289845199764017776851425920373498900272741709835056517555205960036273110409269410588646431663857777588290814923227417454047576621922415610408060994450770465124708332436878656433234618742281037869838674346022257295884585340869619378941958343216846227481791667076443075409482278078233425169011834273586054819596202370873163441335004910315966537494245226637821873121695071468773420667008361715651737188426944100929496915394319011830523535093035441924857627252883990451812795880385011111500522123574496985735341414337778692101764829636328356309090519679898082889679685526092591113895816421504051390783389416344038277762410671139392930716641385857309440259403260265783201037346026959959828553317370602150439609855372833306734607029657942155237324522666996798700773203705885157796024544735331689123577600573545240560552849292364388901114124887028220634942947972070019843892681369905356594473958368185392629041699000002130273542164483447315365918343172153377819057020858731078948974447413437009274758270590261610504764270579412181322968735528514104997899249090947805069265108078469653599387181077045900941429710293966725730671790195453764092958814931166479911958525545133233730787317994813028532163418753796220060011077653209348904036074464963826376858698971214037472719402074972893112017706156043753191940770091439149724740418715636377945482656752241496199762545252631071005921392039168497573074878223361033572159622681246418206828448950850214625486867154486535993639930818355405064885244039398028299262856591042330186542745053730257821776237213271813485311630471516076679071114752469233504805215022371343925318519818143225892132716759804452725994647531008710192211929947815859333311553425960339217110790082779325667498920293314680579801673981396020556703881357581348256998952525386999343523962547499044688177024064413954776793237220450876087645604431100188516536334868109455045211185843374612149308088340624993531998105578856171148784069392554510125456373158076799067526122770248926580185358180902964502824961900667570028413158625955492984289001780380279252872948223588753316403514648615633333226930772369391617078547101461579329922204584342229391767940855776029160438163699986502810634662275407046942486453937536647629156867608579218578690538531597007931977999010068942016565147167048148661327460338099360367813058753210082597487749714211810084784390223564984131411687657552257991683978791118347861684289127780968965893407831317112650725371780557562721871866244427777836387555436049417029090953610663417505484783011275256545609559817562093465628555617710033016387926667199393602396778981358757307266503508335021428856068154490408163882430164288709316360476584322480164064278686054334598936428065356160102866132630807352632721124854297662705165739291574887957566217423722809587166931199438820443609718875383322496860321548978782498629906287517150861076856855695577420772248791464348148561468743735503952012078361812212028882748717970601154035672794449728204957691721274537213433544984961301985156444898309288071125132666595050245861637525287138128433785429952614434934744494103317008879697295196686915140846397025549088583806003320095102639430896409666798292469153494707525917622500916958054641218699579848272094496783198362737587189090933326357825167438372361716647906175341371860961979604119940042565748443774699211896388713642218256576379899026694920385955178871705476981926971286742007534062002566540126252512040603440422045563944292395054852381123631894465018740826602320345422376877990069709931385532273369216462240890273500296420883185791291790418597361166622942485948385148249382319328390436562170303458342654847517726418735304510917014235709945561322238938698344341218627269977221157292921651568620916774645166955119781592418025208374610063627911670394346711732829394101817876617315187756532065751011461859746263188137434078226875976994815737038872703014347961199241827385870514801727622221561612886330538528110118467713685975763874789326877953002636215545386182373089733845142700569039969111534275561455430965624716204293133707229458569117593467643106177241987963061783577511617276406622070191411949050166608606306031120416084614447175863521860214535018336332786798245027963126054862463833059488752324513443141210470792317922390206521727975791104932063166227867626531910908783476476012555492859920064946712500399224042756298030186809826292958376656634852790149438942532032461795740767855799335762608585014601959344149998871499182694449748376200765194250145431837496636060637509631657959588156620061364395404861644791524674096593256064388760792314252874059700182790838604648895378829365414896151592670719199013603527413502584781123823797197207988570584471599646116574158766766001547421659172542129864418466905372960405496716755035380883249767921834076480995903619093247457714885480918038611018611292192512639104623380143876646541128771776421536084609210902828793272838392709402391393538195283162436781703397747867393969548341753340143919982225039948364755214369960948338448022955699257563169157502773382012985429851902094601407356955877912600196840419795132259480245305142691815910500889330638250315715295328234582026127388256962818937604198430504303154216578534909680836423330515541943503303535665168786414313097266929056125251069276900553633402321923990448316427883850412426965048666712570910188192981064800927553469128266033543729773628109580833908123168890006609900947392275922788186934434681986321203511412869208891221402155074896422917298066911380835455059113929509498636085500398130516107890759857129222659982320363297169136960944672967290935386664721657277484915799308284784209105308278047311284462167598668463441424406780780231311178977859398030002319137107220655815196390591209632192171032447906973686810962510379446252688894028513762270487269357218253379689979513664944763542067462528270489494623830396834218332867050277360443378425092740629175932197199211096173396634118739566251713550814441278958058183938045018308297262929557174145108507134051989840695089303843382936774567093094571266794126503996887008401171183428848597176551471914279310289472219867148408651202311169194726344365981674745222278340300727793447976928261201802709568944396110253632757564958716495327982035109709583630386142749557501301363033977021973016162847241534813947990036131133846057294653847981250862490322658461238257368281084199708045156019900968279415267817173540332741116348981666809817798474923325023966606475779244477083138706350385212839714871943636520384696605727390345638657635532660802628593375151841779096231339922721835704886917937954805290361624250066209820183020374278722542768984630776315094921285540757687686396383029504454919117501613349717511387751334707473822826081266515255059224972237166259007706333548559286885595744994174918898456779545104584645928
Otter Time: 295.552495
OtterLess Hops: 222874251557
OtterLess Time: 77.066427
OtterExtra Hops: 431982537672
OtterExtra Time: 0.260005
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,c,[0,1],r,4),trans(c,[0,0],l,d,[1,0],l,1),trans(d,[0,1],r,a,[2,2],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,2],l,b,[2,2],r,2),trans(b,[1,0],l,b,[0,1],l,3),trans(b,[2,2],r,b,[2,2],r,1),trans(b,[0,1],l,c,[2,1],l,1),trans(c,[2,2],r,c,[2,1],r,1),trans(c,[2,1],l,c,[1,0],r,2),trans(d,[1,0],r,d,[2,2],l,2),trans(d,[2,1],r,b,[0,2],l,2),trans(b,[0,1],r,c,[0,2],r,1),trans(c,[0,2],l,d,[1,2],l,1),trans(d,[0,2],r,c,[2,0],l,2),trans(c,[0,0],r,a,[2,1],l,2),trans(b,[2,1],l,c,[2,2],r,2),trans(c,[2,0],l,d,[2,1],l,3),trans(d,[2,2],r,c,[1,1],r,5),trans(c,[1,2],l,c,[0,1],r,2),trans(c,[2,2],l,c,[1,1],r,2),trans(c,[1,0],l,a,[2,1],l,3),trans(a,[1,1],r,d,[2,2],l,2),trans(a,[1,0],r,b,[1,1],r,1),trans(d,[1,1],r,d,[2,2],l,2),trans(b,[0,2],l,c,[2,2],l,1),trans(b,[1,1],r,c,[1,2],r,1),trans(d,[1,2],r,b,[0,1],l,4),trans(c,[0,1],l,d,[1,1],l,1),trans(c,[1,1],l,c,[0,0],r,2),trans(c,[1,0],r,d,[2,1],l,2),trans(b,[2,1],r,c,[2,2],r,1),trans(c,[1,1],r,c,[1,0],r,1),trans(a,[2,2],r,z,[1,2],r,1)]