Machine 97 Results
Final configuration is 01{22}^(digits(4932))11{z}{11}^(7){l}20 Ones: (4932 digits) Hops: (9864 digits) Steps: 1083249 Otters: 49142 Otter Steps: (9864 digits)
Final configuration is 12{22}^(1621)23{a}{11}^(643){l}{33}^(628){42}^(2){44}^(4)411120 Ones: 5805 Hops: 13328142 Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 01{22}^(4775){b}33{l}{42}^(2){44}^(4)411120 Ones: 9570 Hops: 48673870 Steps: 737 Otters: 30 Otter Steps: 48662614
Machine 97: [t(a,0,1,r,b),t(a,1,1,l,b),t(a,2,3,r,a),t(a,3,4,l,a),t(a,4,2,l,a),t(a,5,4,l,b),t(b,0,2,l,a),t(b,1,2,r,b),t(b,2,3,l,b),t(b,3,1,l,a),t(b,4,5,r,a),t(b,5,1,r,z)]
String format: 261rb1lb3ra4la2la4lb2la2rb3lb1la5ra1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #f
Table:
Status: halts
Final Configuration: 01{22}^(digits(4932))11{z}{11}^(7){l}20
Ones: 694010038958385196300026273866337492945342734139630971859060312386069125605282150694285014025690356617150671866156263734356972639096734331993472740699246253547175120046836190221250230111393343993472201663864579244104711021151407791083330564576608247444359197402850238361417332266054425905999933377562041593903808961937122229188832441679169524487343868076796438970989596718622718467157856320794401690872129501779624513610560418117902681617246216897960378959696081854003531134396486416316241078382379414340101342613241893919068980536994553685016607738696816514654310108696925589604105199068383244782464054910264425179726524001913426351150212693791553330543406618378578334597128349421959111850602292849803649430687973688139462785816360810611931540676286849862533050258661142195987106675731778298704011973340964295358979743540184688627269394422644150068416053980099426335341138348941159265541580927265015491479938256377906849898786331182198616694691254054783334535579502980721947250430366029840792511864989089244611353262702779924474820165523742780053059259269593943153168005530329557132710168663471276015154821293069578128512090602343551986964234659718005217479900982398984879113244801705092075879551864082965682028690859333310272141829238819605373138410451087779791095737201145474153340129279234002870765274767490496310365446129777436922327337216618627735919966751208742258865242806847606685935053732052292954947454739378686397848999525783773357041659904389455462154577408043012907245869529788801632710965520688040332114687821683773622558176448691540002106777627078947497530388494944095577071906859231209642830670514448901723949528895352533113542112075623290760885607709254029135174456072945873091384564110756970704874036037386049314036348789405410174329925904493743629260071852593186923652808418630855281963406401267581080657536939616199374465823584613986989717178023420316964147459927648299138335559158591682348216188741923762130304072214542467198936179957647311813764926638361530006825670876924309674666209285863851346032394030743325481512383351419243530673500041594228993824153073089202620546262513213332562470588746452313548327738037769838744437278006984765454670398227773493497091189839612095767265411547477763095732295496277039284895156789117347928360896878899283481368126523318800240467938372793442462438151417157478731247964122905996707905852814884851737543103213808902919214470289385133512699192048289235667590674245972926501690998898633985100351095920598395210581726628123777513184600360355442411949463988269767534256208448423144160977632767140076916174924865353875019403789704394258543689139882690850345000554674492278960458065128907322794125524369148298770808818939229334121865289230901738577701229081907646031282553414161645027206170680539283971557017031362393618042860543252987329515257756623361463388518996958021076405836619809963539520589420801191553179274565415443139947326150300634202696849960443933685364538287564937103445034215196071019300486235663867549357468749086042623677178281167398305142230043433449448044702020309813926301040311920778250581723022425714319289369286191881697430342814989253317440166305679449490042891708898832735530841750465555148814140135999924528009777091669080995667598498255208402751976278091120484587353302567315748312308688666296612829900644039374132790233811156695026656425448780984713279137591017388877308846820817634103874690006958089816300659599114737501924425956237318296568375923666917321970065598382074816548852952754551987181187456159919040173841986525415394312123915152922048385378309090437972378655947906853914212661106969445690747442282786437284046899561524140448499180665099390772867517608608999117104273708525459124820254038844481468746957230139267767812777217026465176334463318699951074023750129030021697176065593227898010801019529028655336066224561809054147625476337831517010438690379662185826197241343933475684292948177237816163086241903683028174515398410822248537594776909828327937119556139003613281700345130419589196322815030421239268902668706617658700143802520218900543643372009631517202841174127211699437019794375015009035600982446645959082858786468661507265563569604394320209215236004952446211668450570084857012026590387392881459130442362940140254358873602043779351092257851638300748230880650074294290871747768279091698436836700273963786975281485145755360445456316760458760429063641284734883015819222419793400398534119470165270264503771287750403286713048360153621466159529482226674995414487887792207322667292427474317631461628268210619470641977282123400727523011104117353830717175863773919236200572111159110624465081559120317404079635055039989117934297869447887042610978130039713553605049008435654676897669682419441377271658781023008516420860514379342259213245946984985269585974160076564753184308124240749837448973169632487524509657241495012488623866490520469739970054918966011064408506849394443156451857883053560624795001505813168465800172268594099252890812372328
Hops: 256879964893343646892874438368528253577994092082026000720314450612392463251116360837797194323539897550734510278226482215285557853324785757760055468578862171835009118087780509412807295972666275787040927323625569416811739723188013048095335947863471270358787654718754443613224010493141019127194562924631717953912580985429229998187400751768649463805340810535528498368410250070313041165383473027750248967947496143840477457813290376627334451410362936547438512862151907230142203251270485513010462741642891199851319500502476613871494889400449036417800773943712018275573483431686416548865921197628702823535028141369374726720196434463053752933606048838607797149900082695011442856545074746574822487536409289270394715067735126257120038574441573354392000017619837800418996555716240493466936920895614826944874656588706308204655034325126104450143965682299987807241529040425857512364410051610137985143887219216784989103432668825568861215958436771388098911828056169491804451342316404342996069040646668949364593748068461110459026284833871612079181604690941923760355882281955151907268225472108289119527832449683139257218797012634081066049099691730262024676999147106252814542661851270765972949057340332593109150894539714927363276266511724991253599768342526508181745725932109821277165603685479620364598745228759861829863540909552462347837756502643294781687082624091302404320422445188682403630648100467205909519629477538441254907448812930020251124136678592279376072447480471088821777183491912215885525180245720205709056923779747893379106305459261072936991323157760343530572243773804456977709883903419195399687521882299314093823994819407848533586554305348437059911680268653612108625067961859194733940993354364761136966388314863622568760931932444142682130183361852643883109218638810471742882299497405449702862794674757164509078134043920218681880657915106132238460305519931805600738879771091387411851958506717423330401667263343179594784785749225700927930525811469005248010655812287888979418654792615318513990334677431012570040577691414379446953447845496361234383425264875599751182433123146415707866824307613316322677689412510466593692954260610493020396378826398346341339302747461754650816609664737177994849151870389875208108438473426911530264544463754323888459209043342906765546496814005074436190028287542045805974784799111438376966648622326319510365033906976820612470408176934281965780618675068548396679489388889466657339772994981677434764421992905315718956533235702697897262369532315059896275330518415121047906379826659330624638192254770683375259317222217653538669706849317083726972903146994784941351798789515618040057340065811969699721743902445536137966372572178258589886845396949238232759644839826015687436635064966720095135803795095140737657866182770379341944931459857276954948609969400582002736714898779535034806434574424134592463486178473914493850247587253374003492885831329014872868826951935353965466930237986895906069767823197870875447540274838104572283282778661403161025640985396640929664266968041734889172042318220509316820771161095258469184457304603755182136808227080481094587445996207708664101287150144128754759497834751567911151680107579500940845512248333072412663782691273118457498481502474409832080012618634515036205045328494171973063744938716382619748187253910581629099533636445061941334120378171446757760577310288781932487003231414262255427905072719718377860954819666249798561932900083872818102658270231624110740092691685596087774845091931025224380610246783583538571662341247700197746812397349241862595029091009620126082516977843713261214045660059940099229782967258638363639700023201458886162337933681707254803182414005329593156551412970579728177875383471785089002603554920113686820095100613615244470036290115393087331126145721644498836901078152103863043925897965493807245363736740266661163924397276645075931994769573814431969785054661958345584094933297581800805833059321669753535214975889996025677460139882207855148975479557661834982705097444951911012791899325854914283152755359646542950506523808382417049081173033440346654679040055032658539353946177638574171162656107483143777760375581883763487617587375543510707653878698202624734150039805292729066491557093030145575325066486331204035954954265889260605592973921496040425207683577209185182806464672448984720180353603655681132546198047066298704974854020823245540478085392045604020584952883866277630380372373840063567228035579241852136885844682243300557059849139717871297206752283019591164939850822436700341587925985988744094532225308600456528924791727681535884876870670190443883054385997475131087868938236128122435189573722329600452221143741881068573850236536705647415990574643631025756533682575190822440459197191162144005534884728036178478029809099318984282174355433764496166387461383960045692586391252583205165501765851230539803629577342018053986929167883173169026145959421541258072407570795023987342806742951635204615510300512780327081313755391801454629446838254742604465071175424720727067786551909892744743302695795658575665105527692624687423199446478916502243857800837068803368070672799267261100885234097347198630569275102558048713579504347955850036612948339098863996752362462635420149807860575185575035043605717548099038368942262112034164814821668056340397576811315295128426490316461620703481115022698394960753099558219763154179233120097280434913316354386670448029011573724768815242818946474505310945435291240585917553943225806762859132758558559864384037009628244196625474416207143792849900774693604472379725173223077724500554601160783105029566350019804463145547741388272609393132510676564137833300772713233778610124964177951721539425840227214700403258279525649361332792016393909610940230684651787376709692752104057506905527351618582074694072441595164295744501794341929746158235929634753854038058813809493276389368321302653254752352752495688712960564250388893160275633283808045984485707173697358934863772382146232882477723952875940928399569945304778058515237319852060841126049355077203957160100159375371457824916844057063576407145781226327706166764679504251232710592515803580299711918823764662805131736547550593297745613802832860763101255027724920983318861390571590104789937071772237732574656074756180727073745256121034543036849321765400630924069111719106547094653733704031219212771698984544941228861434364998461883665472792735869121902059984030618409062339391927515444928049921837172562733440198534306110603731242645402126952627788227774981361941760056427520780514800070494894267742215938976328868866617027336942948318479105223635518002394645936140424181279534419547563333557000281541855806301129832957964908167762236049575467249342541649982678974593854900954082657562560507394099851622725853542061460267098777757188696216643614441809582606256091231995274896832803984543639125428600897076833807471745697559190963720671669720721110088442741192403698011138072853307528012052808812913369544599293081471001114296621124482902299954472195206039093134312030536879171570713335621019036337943313248179064883665165447821651591423726193721109771087649700341273731221752066349338138523421457098278698194047571375951823773780783847196577428154151190856419313190918641552780564763932937926345539651131686658868581072943911409108720165033587588732002235595972102378809972052051280985241160937981843334654052349772604427778790249577218797817394430798198439855587493910015387482427512390339066953052518844394837537164276516397543415755481764879504209583232591579210148201769707072045147621521879825115645154849897144829445147893134932662194156026192373932670562109073818690997631597979517330190034826238741073517331010068368470692458345108047791003449411135629933526182186488105312835598462221337704113431185741599505409414836259077948701513064934110900040592584434979389399703220125876792438049825367255318351366549186216186195836859655259723865455326100856895480351288502459530436941208881093014462227616010912216691805843529186451676202499507313163215328077538436955537479679004193454511854840856307930880087535953765854551473725275175776893318960051293916307807169151690685558092045644302466192400623501488834890167953194386196450034470594423703984185795673548473275605673971671689639447553136450161677083761735918813311774935677099847049833725145440507721014547384863403335586778513912160227696300845083292776832750214260380031649766907431478823955088499095631203417988160207262005888737488165595454305065797042655367267256328769913340304446767931453486206201153487663130147621696879177645000123186555786251483979791430908717867694198200189053850646881964716110959528022117750463491846443367603119754233642872596831060343571498807885607437735003525460928594250030034321305420008374881228997361234150295514295314818555079757283641997711566790700711519372435455893002766250356344957022546680884888715495730199728033620202831565611300931371038882812179352957979212183004119550336349701081751601083436049140912952177114771677582079393762896308634156954453207898750352611722962160903075527890489754738491647187916430278369254943293756442021202749107790180402141454608190473135781640251901160329431263946184029150107570902815460928176175117263707574838777098622094063689443592192747027331301192214945047637677217148375504663807055340198576926055729181541170126433160161883289102067469731829460025433573423559606955881642978405051349514992986948733875650569082548166152190518304683632626625623808158412184142475274998383187710638566986233140358141321288924449979516257773326655439102265831077190627896929473548555213597730615054636818514361524410012537508620393436439299842515794998954187840764027271420334036745435687333558423914775186211949295076171429219089098674625449501889877466618365403167964876559296280664116663893395397445901338581326253097317692306922357409169090602665463126985419017114534110586053798615230668410156107764471022438826082178936180986011583627943454500352365766434210549518416281893249501281555193451130065
Steps: 1083249
Otters: 49142
OtterSteps: 256879964893343646892874438368528253577994092082026000720314450612392463251116360837797194323539897550734510278226482215285557853324785757760055468578862171835009118087780509412807295972666275787040927323625569416811739723188013048095335947863471270358787654718754443613224010493141019127194562924631717953912580985429229998187400751768649463805340810535528498368410250070313041165383473027750248967947496143840477457813290376627334451410362936547438512862151907230142203251270485513010462741642891199851319500502476613871494889400449036417800773943712018275573483431686416548865921197628702823535028141369374726720196434463053752933606048838607797149900082695011442856545074746574822487536409289270394715067735126257120038574441573354392000017619837800418996555716240493466936920895614826944874656588706308204655034325126104450143965682299987807241529040425857512364410051610137985143887219216784989103432668825568861215958436771388098911828056169491804451342316404342996069040646668949364593748068461110459026284833871612079181604690941923760355882281955151907268225472108289119527832449683139257218797012634081066049099691730262024676999147106252814542661851270765972949057340332593109150894539714927363276266511724991253599768342526508181745725932109821277165603685479620364598745228759861829863540909552462347837756502643294781687082624091302404320422445188682403630648100467205909519629477538441254907448812930020251124136678592279376072447480471088821777183491912215885525180245720205709056923779747893379106305459261072936991323157760343530572243773804456977709883903419195399687521882299314093823994819407848533586554305348437059911680268653612108625067961859194733940993354364761136966388314863622568760931932444142682130183361852643883109218638810471742882299497405449702862794674757164509078134043920218681880657915106132238460305519931805600738879771091387411851958506717423330401667263343179594784785749225700927930525811469005248010655812287888979418654792615318513990334677431012570040577691414379446953447845496361234383425264875599751182433123146415707866824307613316322677689412510466593692954260610493020396378826398346341339302747461754650816609664737177994849151870389875208108438473426911530264544463754323888459209043342906765546496814005074436190028287542045805974784799111438376966648622326319510365033906976820612470408176934281965780618675068548396679489388889466657339772994981677434764421992905315718956533235702697897262369532315059896275330518415121047906379826659330624638192254770683375259317222217653538669706849317083726972903146994784941351798789515618040057340065811969699721743902445536137966372572178258589886845396949238232759644839826015687436635064966720095135803795095140737657866182770379341944931459857276954948609969400582002736714898779535034806434574424134592463486178473914493850247587253374003492885831329014872868826951935353965466930237986895906069767823197870875447540274838104572283282778661403161025640985396640929664266968041734889172042318220509316820771161095258469184457304603755182136808227080481094587445996207708664101287150144128754759497834751567911151680107579500940845512248333072412663782691273118457498481502474409832080012618634515036205045328494171973063744938716382619748187253910581629099533636445061941334120378171446757760577310288781932487003231414262255427905072719718377860954819666249798561932900083872818102658270231624110740092691685596087774845091931025224380610246783583538571662341247700197746812397349241862595029091009620126082516977843713261214045660059940099229782967258638363639700023201458886162337933681707254803182414005329593156551412970579728177875383471785089002603554920113686820095100613615244470036290115393087331126145721644498836901078152103863043925897965493807245363736740266661163924397276645075931994769573814431969785054661958345584094933297581800805833059321669753535214975889996025677460139882207855148975479557661834982705097444951911012791899325854914283152755359646542950506523808382417049081173033440346654679040055032658539353946177638574171162656107483143777760375581883763487617587375543510707653878698202624734150039805292729066491557093030145575325066486331204035954954265889260605592973921496040425207683577209185182806464672448984720180353603655681132546198047066298704974854020823245540478085392045604020584952883866277630380372373840063567228035579241852136885844682243300557059849139717871297206752283019591164939850822436700341587925985988744094532225308600456528924791727681535884876870670190443883054385997475131087868938236128122435189573722329600452221143741881068573850236536705647415990574643631025756533682575190822440459197191162144005534884728036178478029809099318984282174355433764496166387461383960045692586391252583205165501765851230539803629577342018053986929167883173169026145959421541258072407570795023987342806742951635204615510300512780327081313755391801454629446838254742604465071175424720724985756435034737155843223874196646096829077325273731771846018509320709125428011348754213761290999602947815245502416442894276280713279072106577630491481765587314324676472439768435113306418182430655003544816266837453260901980151494174849046675212437369701087222613117341256145580013152017410426690183775495921769688136887028273186602233182254580717201515866891118000347564230802292627538004762385610170202557969166437404603609986232209509091487156068977995879470314302373443606438784947676751181060005549829596746853878790622518231612094063445504777944692655485603419693713686376735425791067459658785118511833344557761593141228038331071513539870346879434210007359564668254488140601095455456464587031061529282392587866312291304394654975075069732729589721525106473290819180869156540474314734411262123893714730961151981874578872722323486513119385322302147504333748414681558226973846336797836659065264189439232733882589801143222685787239335881873868802178764049566338566269116349395568560962751603671819482236689426266099587263118051492383560492348066986603448518924337305175487660244039194385297589885883873359300783596397351011278786267089652910128881609085602588021973786364224050837184989513709433116645483677609988683602727142928830633318084220729906534047367584695824507503110672193713316193517204159403160242469739930338026609129572898490781086013238694300083776992182285743663506972624870244760641015683868597834316170051410184244068050806881502808514606614975478027832298482058777191481128489369609319376912207872522553562285622080643949759149015511682061764699297931590114049587260832117836422587912927314289586486252793059581076178450234840913115671777700022151466092813548559289343722888119946159290454941427439352154940629815079649848427383918819804892774860344215059339053243213585213869536035051186614603669002455586580144872073546323250356246481772040869627750187180410927745067155393806235893769552248432904775343010230212266258672552875386666166151198870735756964086980692858608388263408919314620321473329627068265729421614979189043666852040495629200216491044240279607130070530661782669558638700506635805136594883128797569733887061194842317169902122949179723958232300073490363419090058237854897044225579293876057422577990865479563220236688217152905335404528365867672481324584519757122863463007266737895521131991585046357208500807693676872353543884642958184268588678724784101522183666414954942699527130534392253778478763910682485068977548908529944829784024516456589822700712608067720798758788409306457932335526842379267789663229711223127890953701922037334477757065939420228866334554558967406590668522482329346044891633811084149721325822621072838028185037213755729670417310470002594528632488380327498495876567315567176016593013619894552892493048125921533340892208545574638496117830449504052097385233961200992195342122966619349795829833246893557838453320820813464806213201017099230430191111854137066129580415635712228666491640365867396861724950157426618831445352889407272756935326640823306012805735964660845823465506207339619214246335114415839115531581556062000084413542600223937785726821100109595056521074937847454277347847979905795467727205777593270422151807829163253563671916055418221861442918690080966241153188103519006842826485596071665237738560476077621318864513497097076581794037829325599411613207696863473867917425891812354134379312192028548036642728891793918139332992556986758690821382948531787928330700477562128557769161374394249972785229036559642295224007168604059328399420524478597226979540068547608045972142572711559270928875136714679038244154368321544701209413391249519595008291267613534958300175485562801576200635567004884909176528109615773124453656946844657891841436822756489543732492210856983167475684228280252041611713568629461132282370364364805986566662312553963959594918880516822044772565590743773818071060269615299899896254700761233947411755951240705804636252592492875372386964617366756944648026064797748664277912497275488537442368053649317220464194571934630436626771948030485527334940329846961694286592125511905173854556181656879759819509879413752656595224794357382091326068935452790701586381018770219362992156636061866823919759987088711979189021156667256169122547837553720548856796385298883857675717286921803371140826936848528176210277289268045797230194636518949924611682062633762500444376897068682399233616705661542951796364433500708484931138103488030268215127997364900870279224065138244042630177702587754551911461296302680986316139635805324778156679312936692305823265071061622623367227528432485603506162300032258484946186862684834722966365183921603709510479811815032515168916778081884439950080253647353277559175935510614072063791710594756492842619142486550426824895851010033699120978637115755659604946382772568330617087998047369433036446841090318543618087956443585562386101016332743631196848746887854306265540792888953415632802682114272369805339670491381429693110013018881376443718983796521011539518
Otter Time: 201.361047
OtterLess Hops: 13328142
OtterLess Time: 77.737839
OtterExtra Hops: 48673870
OtterExtra Time: 0.113008
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,b,[1,2],l,3),trans(b,[0,0],r,a,[1,1],l,8),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[1,1],l,b,[2,2],r,2),trans(b,[1,2],l,b,[3,3],l,3),trans(b,[2,2],r,b,[3,3],l,2),trans(b,[0,1],r,b,[0,2],r,1),trans(b,[3,3],l,a,[1,3],l,1),trans(a,[0,2],r,a,[0,3],r,1),trans(a,[1,3],l,b,[1,3],l,1),trans(b,[0,3],r,b,[1,2],r,3),trans(b,[1,3],l,a,[1,1],l,5),trans(a,[1,2],r,a,[1,3],r,1),trans(a,[1,1],l,b,[1,1],l,1),trans(b,[1,3],r,b,[1,1],l,2),trans(a,[2,2],r,a,[2,3],r,1),trans(b,[2,3],r,a,[1,1],l,4),trans(a,[0,1],r,a,[2,1],l,2),trans(b,[2,1],l,b,[3,1],l,1),trans(b,[3,1],l,a,[1,1],l,1),trans(b,[0,0],l,a,[2,0],l,1),trans(a,[2,0],l,b,[3,1],r,2),trans(a,[3,1],r,a,[1,1],l,2),trans(a,[2,3],r,a,[4,2],l,4),trans(a,[4,2],l,a,[2,2],l,1),trans(b,[4,2],l,a,[5,3],r,2),trans(a,[2,2],l,a,[3,3],r,2),trans(b,[3,3],r,a,[4,1],l,2),trans(a,[3,3],r,a,[4,4],l,2),trans(a,[5,3],r,b,[4,4],l,2),trans(b,[1,2],r,a,[1,1],l,6),trans(b,[4,4],l,b,[4,2],l,3),trans(a,[4,4],l,a,[2,4],l,1),trans(a,[2,4],l,a,[4,2],l,3),trans(a,[4,1],l,a,[2,1],l,1),trans(a,[2,1],l,a,[1,1],l,3),trans(b,[5,3],r,b,[4,1],l,2),trans(b,[4,1],l,z,[1,1],r,3)]