Machine 98 Results
Final configuration is 14{44}^(digits(4933))4314{z}00{l} Ones: (4934 digits) Hops: (9867 digits) Steps: 770686 Otters: 16394 Otter Steps: (9867 digits)
Final configuration is 04{44}^(46164){b}14{l}{55}^(501204)24{55}^(8183)52 Ones: 1111109 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 01{44}^(1048572){b}55{l}24{55}^(8183)52 Ones: 2113517 Hops: (13 digits) Steps: 1423 Otters: 27 Otter Steps: (13 digits)
Machine 98: [t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,r,z),t(a,3,5,l,b),t(a,4,5,l,a),t(a,5,4,l,b),t(b,0,1,l,a),t(b,1,4,r,b),t(b,2,3,r,b),t(b,3,5,l,b),t(b,4,1,l,b),t(b,5,4,r,a)]
String format: 261rb2la1rz5lb5la4lb1la4rb3rb5lb1lb4ra
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #g
Table:
Status: halts
Final Configuration: 14{44}^(digits(4933))4314{z}00{l}
Ones: 19035703925715708241372149226048114092215114993544163799562797139732181730887738990471817527561792638641846999757428948142362678100938998820392395173465040097293946149856078360354292025912503149535237531351714173552586359437295756555428495485529826215616709414478177966484589685011778539135998172641701712289933045813132495429179404114628649814510003238677845183204286081425080277956329773370360732092492694905955415230461085754091044981501610520629770394323092530852668282543446484561816898149916692507614208254534634804637320609014707758217598383689969824401946791552829959029141171174447083285461871220395824233501070372623911122774405833886854034209190581532669577177521234727002307067902234318166042955813155849731825264982391610805355836544263867881943763664237562757375646354534357347621595756983066449244132015822816494316633674818449668116162268909168441408055071223285243225569140505433554710623449735032079730740080996512426019200768674396931200032975894938899801981726090039675633166039725415019280768546634133392214166495968651230538598196825680291012201179580260467852782907483340926427844246526895622714382045913664280283071019007809408143108020141231515013827106143132482525509839136843418487278501234998856510321604459121909175948939258086979102841483077517133005348757831658989793026704679336882184512880808131038269869549820798682360756661945176011216243160945559248640528504330936291463907130187137243969769572558421497783507428385948967921247668408906322639741600992817064273354357911424586249109431437394754933647309982592682240057785900628451131360833513004180907256829445281770321631926962682027018714044221129669479685726502645667403727148097168110513421927938000801090506548044180762625047973559882588781184996995366548393353049396237542682402561970813984555620191316625303459162424861291910795355178156058044325699634018320840786003671168642385836730901758015496204937203908349943287265358319778480332716911695027450528885106650266897695463266559223630537330075544052781065362273168983694208348317093414674070350053943353213536841330286855155995259176770004732414734983200362422835999193291331263457325560814750258434133136768191582138185245208533215821634501207029360341044994145302247216340085819326455934671410014787218686035041742964094632631811470353887092309977738225191564684017867442033702342801301656850195416846248636841647658325116721615622927025470794563662062606410467361892596772779318114555474953112648246448466772916679270268633098787514252183218777609884034991870613869392542195225313146013891954129672213041556395415083653449706286246503946177671091484044979639520466605729499643216794343992643535743710924585811268067623427899033761718878771162218904733400988376569103752576858035750788433692174797824380506074648421038574511367809175603472081938180989927038812200138656521059420006667131518714787571369707595541975539744345816651395011838555231551103109559685027486462181084284478744638274837349509902520805100813336749637509925233428546360026249431175712020067798186881191317470574940398271354896264257105698398489158812974329391021329079843278405897986660831496848090992644561527207757441176458301225126460274516584198084081759272301712215625411028800066221595454130237857144761197063627642161862967404870417803382280466889132707094762989093651404785103555963155063588290526595135580707084916782191237777614084228140821134848640190850463532818091861432800052784254799652158991589739620578303688321799269908337825339966704124854505541141654672065101911094487554250815418255958480147612856090763623441528100277428302278789832990362590510374786988327856565505286387973233566587406098242726146912937625836132547212002936005269735995069825065448634571345112598105630202864746524154473408030993884341515173222860681966309408257799128536631153399392796214546360673587981048342334870208123378752286318364699305668375695762576461047340606578575665814758936920786734487072422356411124531316885309526719851989564968384099107155209466434365875099140069405839705661330341667227210061087154840289843482789632264178757563643633203520898843971502857554533547912661393717734844126714569001342141172194863387068595617901850124238948620358493756078044157907768490462879006419097786704119557675941772233629959072502079106237189869259180643406767938787083658014267520921800149585607720735426432743646801831144011714625745589524156791291041529228618982359792991181675984397817726749725347292700755021356474500375665798217371302797382065157686564588592296438426462947518213776991194751376881098991383488304570075990785385395120656070478644263620364177128185094193014420226184275795382558663340741561999187454472542995375000327452772802806528280621797003504677776594069422345376450400745537261959109849031688731024537215291247814347515912451407746281255743264081348229243693455766720342545111766597132884296321506348782017766633330726247583719822387649469091422948612730875477919090439367152436650719425069056
Hops: 241572015965005617322931716735138406630080974757954247208001834371817238910437589947054994172014662839547882318789312254701193997575635259542517469226815691390963676764998487219227759151437999760547876144340127320952754417234768188902715928113239921186386431213065403299946171500488533905737254276878154353393708812419977924826029115132640148819389888764839861322782537208980100753078988512627172907000420863432024515429314705203827990224276002369509523932407344595203116853439672906929022921120498499778546991492941272799969071501483502002699176802576526574253594214941021930035543852790420940989675443965322191985033708164439121126134014907817291687089710420125046669991776414738118780115872245909791601435127237100573293418576891840211905322692288282516476760967435957937886802344284310726935187257297687389193958810241038633931304870211906901177339962914765595301061534248880782763884144112437801997677089377188022955742138090317624446061976087554741818731713059431127731865163234799728989385938667101427590432758057222134871190697114364221983654194948844895651425097035713523017194271048960346380452374330172561704949261121030083614614708135839381512772614419528490479440045765834499381086130409466385709599201230359121752598473951459122751898999012664580648796282181651151034901635535804757553305410452601326293139176363327011023280965676065607981327883148867044067352336112833638993153598468803531145617169383986391261228941827188441824864895920566794030461536883977714387761341281368960680470362669039324677929705362249815031840226726461834464673328508354643527988781011357633012265476252089662110401658741095110768743314090938361647555648562417264600880238417789660000019872839350881457370888753382203438851907082165199848139781921833268034138670946664039020742057968226985875868951281839603639192178445789323695116667920215786698997517519542899633624078610023100778331591623242184998139336629667667911896476006536709368135293724321669965939180208692330032890058034977084177033100735123657703465714701522549298262790213720932252821147050359929275235067644629302418433961118808492836488329152700013007578210794520783262553802457873457324797359245666414482232109205901265360182003827866318155853976643103741114085895710188668983680667698798852171072922231710816727275581427295321210573133531736334910676908506057204849403314969222322910947118227177815983079766268545104469201449796461705514627338954197881509072763940345884275858193901639165425509960185264490211576128338138324235224130866570513945467328568022243509170155097744389018369216663902410998191367622850818316140575936319985425351637400317627819958347442659290561029553591309302489506854926957097256417024881281691368982526401356367017506915877226228393356606164471021975968197351496369061876477346506503798118827260428049058785820193145347361580471511795507686110384094601511856166920564102149832562162146553280177880517682370680646834720264446733482095017643670585526809600830968523674725236879126817121008609946186605980565510685736108553084389862643066531016175431449771282941287834052425277336969494922760036475752625335775904442045415352027466722844025783741921657232718121975011165437017659153500612808857567450249938397279152099353642627285947847321987077062263492204009564493869417732785917701805188911760551553882991787906172614430029571451202113657239390160525529073935751689756943281443219058531344180805268785573311698755569458596589229953564589017064931476315480003505867948109840830299878063513737046323531939354672255382108069589436374266087899525371918684939587194048961862817465235048511614759703558378203756185108190421339538073217401099777748659466825234646334282793902856567565690585483060861964803887044474943847292111514659036629660785844987789413243796103349089352039890568701244673295668294564004622608267325435081264517735207503986098429399275818255639848354716995660684541678426585838551245242106476800934125264597240614245246068489858181433946613458560218794599886738115897285153320391006951369189015869829805171039411711175717668079691948845506936032357098105616192506597250595879730881710643049355638062142314463076130881162198972119065875284803753692874425083838999572728370242489322536583105655687871923230664031485583062433424474555586161063396922773590014164417424216076098081812551925004923944480309275616942344193090474868461814052205575671990999725512840364650601866623397299994346076965095292200986902030803577288677582505324090373997915982688579012845599210772980509024904266058221518424725819868880126540456646002676451158441919194469401508587426159459909329080571200782659257671013058837120400232576182221340399561585037981063123771287715435914419770440730103009964651165393216604148910587667808046905874856803002739195364875622742467528959879469924925927034760696964304569799835259544817470543257729077669594788187183194711474177659933806830922680616911892135665896274936876282621514510802549189934255902321438362521859816075744909068283422618788018119397900845837303781054675810519077402472511726541662688861951908786385629578945040847373470423693331696555548727874615481213882512277373387043313887985605109362275299902483764615809228347516283245914856793445220062163671267756453915931011067661527180895864535582362618038771825852985335356672432839692628465672317770421683897753572486625756077121840495469179996899936359419246364751988109451404388935938431047899329960183731634981822848312579441936559237636548301999271568638674108473129550544959526352138622631165517713860857534899274594520572186964234542472288078539018731428141982901430776261671005941918504092726709055387454136898912025259794941837351185262414953697551504031737703673067228228990368098951489076670276846285611312555731593067210240464895125029488365952508846773392040032840618371313680161466283550322890742125263182735285078229068410836930805838844420441252914619216703076151514454124804128139081187811136592847727769399239136815900305496770629772777646026371648487916035678394065822890309219656420443807786403265287870814917185363549125903301829919856483612150403464568066320561471287604058254465519259856636420684938228146610349153748635654861168405973651654184712926221348269023826893665140702831708858414840572511777383619114323196408839720434580756929211229274619639969918970338438850193413464944849788649816032793034863020936350886858962199395218519378682338890236156901202805470824689803584794713830691876665282383542720492822078085545615705417747841610025588795489368374099535533622643285721453034956746990497589337404605306171499179179614671807537025478706786857076267371889766745512358979795406609538226299360779160655955041623821588297102703480389194156672012568858931813947143478792522611587176846382582548508592281171783175218694093101854304948946135877761215179371594445757165503799160291375838582117153473769367174126613456723153497041887891009333498953161556459760533461926421508660700222822333063007667784411411369581506940750300877773980815839489273517117169846328180143265486365787642143732685240801832016628299069838830391121076312005970771808365025196921814691774688266991458279433774030709802377254182205873537565721799361692215019381509038035334892521449667529220207838325264388874468016876431382366902873160159074152409207772628458662731261190310437018150892470590864972477337012731418742773343416006940201210458420328503910079367651677638295101837980453455022947223165998515983394450129684907061252730125993539156873359171695310509216635596364201895669327248136484144233193010169144668627022411100309835501831489852887518231422585641770233191032145236099975128976995758439983241092713965294677167839858365515567722331716645646605703648212673239407518665303363294960716996756632334543980803236023134267609855160276920847669777739349998609302189693375847471274516985523560559406055340006222791158145701302698925002093389459226406382602358571990946980151793332609128100337132833045842045845737113109712401286789090487303480773915355611224402211675033573633631043319223410320919959961226128631650636388395866048046150506091754425227359237838268067189046298880174851831137438602846159363294890113993484044659756057878097659818142982749592520120368850930051287916946179649795897454774121808956110167391597644558418388968785376483815377282390531056273712504867724276030061925255077739742098666555259465376663611094568414335444525169216975794012781376273837402789098230881610779547410181861665186415604824520075834563736587622611419104451109923585395355458092866751955572848915352182391122257712276525857326988526083456508453380459578035112510124124024517705899468918239198871607316378021393192839406286863763014009987861647285810308409163543560416366172286426170020504402409868270621667863787150461637014619586959600672396302468801221787220396299291810070278018206867429236394814843581713461430554276399062773322559998677057973226248738894460562623872735536212946922637238825861004418525412451171416758662646545850799346508963380304622981239322320838564900187362732787040915979648195718709752767794254317734077125213946590304236230971109510403168242930688159523866352603511177784698513023015138150422821927952239653448477440758645685581414866744692229974524634339230564467535408674564980102582254447767128398968720171895620652570382784119187898232013750199604975850370718375140133610900283524999207200445218940780708195669001284761884682046505337008076464742582916147122632287487925537903159511792825656443947127987535570693773711936989202735719008268117354872768805116062863737622765017428676806984702237525586992463410173758973675379235647222894798154587117474681809381236413544720912588047936616830740773677787937308162918050890243869996725576814954376844826392808531731712257914187124209891954410223430735512692589774065833205990422533141210910910005447902216082724880987943170060929604160767016652258057841487618135821993103397762234664354950630483222714908087794
Steps: 770686
Otters: 16394
OtterSteps: 241572015965005617322931716735138406630080974757954247208001834371817238910437589947054994172014662839547882318789312254701193997575635259542517469226815691390963676764998487219227759151437999760547876144340127320952754417234768188902715928113239921186386431213065403299946171500488533905737254276878154353393708812419977924826029115132640148819389888764839861322782537208980100753078988512627172907000420863432024515429314705203827990224276002369509523932407344595203116853439672906929022921120498499778546991492941272799969071501483502002699176802576526574253594214941021930035543852790420940989675443965322191985033708164439121126134014907817291687089710420125046669991776414738118780115872245909791601435127237100573293418576891840211905322692288282516476760967435957937886802344284310726935187257297687389193958810241038633931304870211906901177339962914765595301061534248880782763884144112437801997677089377188022955742138090317624446061976087554741818731713059431127731865163234799728989385938667101427590432758057222134871190697114364221983654194948844895651425097035713523017194271048960346380452374330172561704949261121030083614614708135839381512772614419528490479440045765834499381086130409466385709599201230359121752598473951459122751898999012664580648796282181651151034901635535804757553305410452601326293139176363327011023280965676065607981327883148867044067352336112833638993153598468803531145617169383986391261228941827188441824864895920566794030461536883977714387761341281368960680470362669039324677929705362249815031840226726461834464673328508354643527988781011357633012265476252089662110401658741095110768743314090938361647555648562417264600880238417789660000019872839350881457370888753382203438851907082165199848139781921833268034138670946664039020742057968226985875868951281839603639192178445789323695116667920215786698997517519542899633624078610023100778331591623242184998139336629667667911896476006536709368135293724321669965939180208692330032890058034977084177033100735123657703465714701522549298262790213720932252821147050359929275235067644629302418433961118808492836488329152700013007578210794520783262553802457873457324797359245666414482232109205901265360182003827866318155853976643103741114085895710188668983680667698798852171072922231710816727275581427295321210573133531736334910676908506057204849403314969222322910947118227177815983079766268545104469201449796461705514627338954197881509072763940345884275858193901639165425509960185264490211576128338138324235224130866570513945467328568022243509170155097744389018369216663902410998191367622850818316140575936319985425351637400317627819958347442659290561029553591309302489506854926957097256417024881281691368982526401356367017506915877226228393356606164471021975968197351496369061876477346506503798118827260428049058785820193145347361580471511795507686110384094601511856166920564102149832562162146553280177880517682370680646834720264446733482095017643670585526809600830968523674725236879126817121008609946186605980565510685736108553084389862643066531016175431449771282941287834052425277336969494922760036475752625335775904442045415352027466722844025783741921657232718121975011165437017659153500612808857567450249938397279152099353642627285947847321987077062263492204009564493869417732785917701805188911760551553882991787906172614430029571451202113657239390160525529073935751689756943281443219058531344180805268785573311698755569458596589229953564589017064931476315480003505867948109840830299878063513737046323531939354672255382108069589436374266087899525371918684939587194048961862817465235048511614759703558378203756185108190421339538073217401099777748659466825234646334282793902856567565690585483060861964803887044474943847292111514659036629660785844987789413243796103349089352039890568701244673295668294564004622608267325435081264517735207503986098429399275818255639848354716995660684541678426585838551245242106476800934125264597240614245246068489858181433946613458560218794599886738115897285153320391006951369189015869829805171039411711175717668079691948845506936032357098105616192506597250595879730881710643049355638062142314463076130881162198972119065875284803753692874425083838999572728370242489322536583105655687871923230664031485583062433424474555586161063396922773590014164417424216076098081812551925004923944480309275616942344193090474868461814052205575671990999725512840364650601866623397299994346076965095292200986902030803577288677582505324090373997915982688579012845599210772980509024904266058221518424725819868880126540456646002676451158441919194469401508587426159459909329080571200782659257671013058837120400232576182221340399561585037981063123771287715435914419770440730103009964651165393216604148910587667808046905874856803002739195364875622742467528959879469924925927034760696964304569799835259544817470543257729077669594788187183194711474177659933806830922680616911892135665896274936876282621514510802549189934255902321438362521859815764828411614926854676376247427278704006323758886500000417660057453513543455375259177822265625277105865095444044809367317431769589381218567994798827647951560923142919606060700668865502019458057190826937419204477726988605745770084166388113127131843176412683533479454104281746562325703481729694392464890977191784078920408841674163095694593404370800091630999348767827622416747178862622182460365184044401908532347954716327353873321619118029683373024789897481861037978177718997493726933323126872298883965591014308706982397182069216623071565062580278077446924683736334143665824349522821595413289652384876474834828343520420913293508813790936603208805908093163304007971865308931360281441296313503153345126500839469086789491460780748900944638455797343746447300337547196506039851401363408016674167288351668968588452094769071217107734615630808663472764938971092240349942178639737052248248742771485968177583429693501069902280359400807396858177755179147859859505994593658975788152063875704447707501515401954727462130914390062601654344832987901103456154582890956673259633625178755251548439597721953671747740594788201694252211108293566492903971621376313898277337965593519205425044823482920767615482584754404867129170864483028635859421240025267104287394673957495665700976327515226100887117505941902500030922623601294654086115393532272596250052830046697647546340419799624096504711491276502891392158883159063663295323259092134865879166994505394966453683273559339630131076664215829620031704739450710375928536200232573963235288341783520008109224259768952627559594271911532091120370059129110443790559571216680650965341736225617037338316313749103937982944648810677492113585527375277349547107033355603396885303141837152162418758770071280888444424109981721258859221138898853487370041169385402600080091210035433422235921555231138629340068109884891044795045497699845743110194384309667188821398981467367236064565870285139522711384841935641498100605174614326157237574306483355576814201307067315101097277425404138449040197438787039730354079422268114094657320555170327547938624351821041990957222167617427395078493094867617116350706086397783821541266786285345040948047346103700771533226901534878684915776163348450868868751215473311284477135767997468004453067335415620574808083739817002562335074684503367249952477712251644679571381616996439558969355423886546551804543528978447335514951663005164354033176220551693402375730683964096390129614044060716021215918257583950189655659410490658437159157256826006912116596594086830966658210256072308663275729619346040322545863242915560115213530490390210180656071421773826808933702284259690658687918196269278630783651063559000843763818007959371472857796586856827845488973590773881126682141201667722893497583978613985504081373818877988528632291750735324723259605972781926726653636899582524046942264382732673704133182738654029044702179848696893700831279487288975333830695996580398305691274124542283574413576293108655936838640503517305756961804425206025399227903535697050289140789499940208073398045392616783698492615575388280907016814124613681937093901485619975390024474349146033004513065877791424778565656723082580975851793935781480291921953016169093845477785905424777375924975129911909111438005915001306461036241632596686855031573594827818802320494571651500866253099075143675870593480255736872325352534992331684331633903813843124481008284479287522707735290828959386840802487977344176632749024765814574931869952981955240540156684428102650536958022106692147372529481990480785577391756227978881421223241146537488743523944104357674278923366442835970765484393050005972290054812603771787053599237771254131859499120561209596778266530953712132626959427721189788730124784867458075094536178459319587811671570061151600436241979058569771022664835632290189459027805981700741302137233820861291833539553463963631229551792608835551934064618858347808559861524754922463325066432194201956210081776596135416910589875888897838379725384687168868104462581635734945174857375138832421215004044218569890846725375334665112154585658757609740900476658304665343488685319333276011836906758803412969949209245207222542354996094873719841282431904970332904551387169834855724056272782804319235322956966529936298265535983888747751995143236269561858277199150918726081275136017874715829772668051021163924817855968531138814720949728660048342622972126668451798125411420462032850467913099604722297408120188801151497402164910146367243683386992509593156335629019077234093730283163079450375139957468938061916775889000120479041271798964247778631679888113185876833828942459830471488347576327978046712858989128396438244027232106871687856776647702730989307769963589141604821286719663034155753048897526092157443535490617660064027571145214916991936054640180066373009044717292208559258330937741490472823200465384370563574808335552609778711422225663978343375616007417817694731772576140277291170213205918535632056482561825726233492458227661318499098289556187178620474017927630964053006
Otter Time: 156.336990
OtterLess Hops: 737450425182
OtterLess Time: 72.784553
OtterExtra Hops: 2932197496322
OtterExtra Time: 0.245005
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,a,[2,1],l,3),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,1],l,b,[3,4],r,2),trans(b,[0,0],l,a,[1,0],l,1),trans(a,[3,4],r,b,[5,5],l,2),trans(b,[0,1],r,b,[0,4],r,1),trans(b,[5,5],l,b,[1,4],l,3),trans(b,[0,4],r,a,[1,1],l,2),trans(b,[1,1],l,b,[4,4],r,2),trans(b,[1,4],l,b,[1,1],l,3),trans(b,[4,4],r,b,[1,1],l,2),trans(b,[1,0],l,a,[5,1],l,3),trans(a,[4,4],r,a,[5,5],l,2),trans(a,[0,4],r,a,[1,4],r,3),trans(a,[5,5],l,b,[4,5],l,1),trans(b,[1,4],r,b,[4,4],r,3),trans(b,[4,5],l,b,[1,5],l,1),trans(b,[0,0],r,b,[1,4],r,3),trans(b,[1,5],l,a,[4,4],r,2),trans(a,[5,1],l,b,[4,1],l,1),trans(b,[4,1],l,b,[1,1],l,1),trans(a,[1,4],r,a,[2,5],l,2),trans(b,[2,5],l,a,[3,4],r,2),trans(b,[3,4],r,b,[5,1],l,2),trans(b,[5,1],l,a,[5,2],l,3),trans(a,[5,2],l,b,[4,2],l,1),trans(b,[4,2],l,b,[1,2],l,1),trans(b,[1,2],l,b,[4,3],r,2),trans(b,[4,3],r,b,[1,5],l,2),trans(a,[1,5],l,a,[2,5],l,1),trans(a,[1,0],l,a,[2,0],l,1),trans(b,[2,0],l,b,[5,1],l,3),trans(a,[0,1],r,b,[1,3],r,3),trans(b,[1,3],r,a,[4,4],r,3),trans(a,[1,4],l,a,[2,4],l,1),trans(b,[2,4],l,b,[5,1],l,3),trans(b,[5,2],l,z,[1,4],r,2)]