Machine 86 Results
Final configuration is {01}^(2)00{10}^(2){01}^(2)10120112{z}{20}^(digits(3861)){l} Ones: (3861 digits) Hops: (7722 digits) Steps: 1759075 Otters: 44810 Otter Steps: (7722 digits)
Final configuration is {01}^(2){20}^(894)21{01}^(1383)00{a}10{l}{20}^(476) Ones: 2758 Hops: 15567444 Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is {01}^(2){20}^(2)21{c}{01}^(3199){r}20 Ones: 3206 Hops: 24601805 Steps: 1202 Otters: 27 Otter Steps: 24526752
Machine 86: [t(a,0,1,r,b),t(a,1,1,l,a),t(a,2,1,r,d),t(b,0,2,l,c),t(b,1,0,r,a),t(b,2,1,l,b),t(c,0,2,l,a),t(c,1,0,l,b),t(c,2,0,r,d),t(d,0,2,r,c),t(d,1,1,r,z),t(d,2,0,l,c)]
String format: 431rb1la1rd2lc0ra1lb2la0lb0rd2rc1rz0lc
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #e
Table:
Status: halts
Final Configuration: {01}^(2)00{10}^(2){01}^(2)10120112{z}{20}^(digits(3861)){l}
Ones: 406352886881376298382049204518016319873262856808743891715211277946908643353276126770019248550655133874356535397247035605101555762924531769426978368579709392439463206949832183665037114514694803063414445895809040486324835460414926573082084174519266745327482051279589326444945774003735022872708412592927075125481105288943521862784150648715807373893595710720878897736117441733879247961667943511830976807066085948239985752536595920884238534227037819583839089754297418178209165836965911389914406975017487124871205995160529265357165631802135687607612242155064612183451347419791409117074033306457819500671757747000537968662115608107442602546493832288439642424908291548253083555436820615224791619019558941869238212676348470560448730127235528924827929936035447279862894102059602844065431469246878060557304674702194927130182574244196065683168121121305835468340464909358999448615915451996698519509570013649092904373697649768066244512149751871924634679725771221065375597301878888112144431378175415774142480804521858237243784233665748617608337702644868900727335567718992403907561370882282499853160496351721742030939838361305221247237235324578319942633545731190265517685370383705565256625555299077106687994450418949036162346897154594587451988477670135726844351016355984591082250503377282722623171887046200720532145034772229668766047597871999861849249828060079746188070483129371554582515073103887685242082465388441884857048863776855978331533346080171654608099732725093651846849155801223958832261562001947980485580867407896842942414840795275761758207214248768499606224512012021938518008802811887544510837120866902891743698669341090872280370347593388701703234739921429237715185499796803268336049896543683920683599249660498403332727366454373372123589610742610497103903220206702965399129373177748804703969976844448752072665906947935812215089417485343708532544932757706179744604547751259235349853294382889952648747220699838623185776388385703641316828943652541199018118775564066664525683664351116316875362697343318315575287926256710128484308620830528410389850744291065005232318783769854899189666980380199818469795641786012155123882913021255440488957736353850000958463099317491913771809169825341294185575346887087540202207503196235508534260260357932564947614580615019826086612608099321413334836423394013298053573825024649149145324476241959734766238932779300244393525616251731970633752419539937809955578846698269595392416914727030801030175475459531064798927354116526387886928114706557569237605562633284236538981134571325362600102188118622787012338689771386897241536155645906861564962162246231410370808474440520792548048644750928561062359583847905531324347092728456402486019360723756955344183302844916428627243858730084755666284247892939369256795241130230147349449022261577599035825226590844588959183721491526432171227397528645885102535806697469834804337664901510405773791220544006999011714630857229627642792294855736881038776807397595236496108062414628879931548356798509549425512360424115190724794365039267113731829031783240013497431081352651854838940502209477710872920688910036934408939967032407323455747645602196559161606657402509777731216213546948439180484131470308594318534609785406232886347102904057937473667797933562223989465873258152214665557997450375454143911612608607512769378844088706427983227321870105468285058959457516988126859638482950166309470871195037104890658048049214801926274932203487406183260523291438222181864366035406555989022327951971738788140276800034118220298352272306163874095863859201337648768669468397691279985114407772182650915202691959929701285602120725350604643143771297227685714262118123704760570620756337242024037536992071015493438251653066396906175799566998768522373366598785384704297563050545033058155930049001292368994031513122832220449331193751224275938901871468979507179082144353039647442265632905076715043387879005653833971489220207192700057105561
Hops: 396294404824388644262183589718664093666469176403564514315690979316509491219613385903282775922132648723405944844842699489282197495749334752363135019772178475463337674270765217697519964559854109997409230994890351043425706474003453783475133155131723194538546369548753467983301411645266444996195051784192521140462359739663539448103511122495740151602037592633008698195010706116973882279166843874109468425705954322538718516132073375077455594329306649625177038922501604689503748520257291523325245103032534544429641971683351838347396831714530419115293212741679651099081748186996574835763467480905356031667502831585410181500230759209830038670081275883889962884844526916809237005899146741635497576410340226733188900011876146282844763937518473727762735151009861478691375057058902462835662123344939478607390083582364653739043780004867601358744720812422465871792948431417181395345214603780896140594881867871016061972074552970908622688775867585452348353358815096190717405938016043649181674026319686395275282902167273988397762816223919929016594538197201212491120265246550790327807266695943898747868131569821909930036170898343504051220497943061078287061392703031045902241613620649849478549994015701444447666775455562920674496999791447324682707961980335035545320019880610238411490640938801520600476590471762034920001102951890546101168002718213744330212124611061832810131163320714156114937758563238881502001551113764028633584824203895053951217020431432685535081108272654484149779824331863538334655293595248325338586579279440939956479850915965266608594080385132856530068372158410425947405146843702192745362196809340919447663462365666234422573915700999874449598499655955089856672613489338369257545374711756322887494649549285734611452637165155477991636431444434642543493362787684630685815546639745493877753895296763239341973739368026094482199452496780952378851542706983550497544595293659068566917950186886017112222267324533876915299957107879571081128600201401889415676571839500533798700628542896062602717007459462095776022719428161031665476590147208751028589210470859772011608548323525104018500480554613858563120661907534157075792074499350415278231218439111440332172480988632620154116277364398929661712850366731595499028481289898291312044012881964613541105284619137155074413132970193753176006756898880051739445014125190672798545672029032710616467510281207639876733442773496341688719939657069271329537420816348548404746488333386349798545137946592500398467154809511256526030441419814862751588280683434607706889759219336347975234668246271347831146928012987648585074300500796510014704177404280406614889158203523812747629755859758479434438789432582558710280457145315185874332361827212349646272604446267354657775236138605020144937451189897007752079102900612178099810002723899396693808168871078246088268179019576389011247606942749516178630865344852920900107218287401435584378368331557182109710364251378288164139429077122152196639163728836162522661325665050091140319687458853585279502799649584892241557405060260351086609937757111029249555118693775790585911214504924043276824543815343744811028382286218117152130345375157983987663710130110020110541996118356751160553513525338758630086124783881295040393379545892654067520890817299065494097002478537679101496922908976182649328383934602404506275025958306360361904507606542277295347539176679998216001147449728014393974696156261718263421458025309681392198804081230216555081721532056967561082402278534111199812227444249527028100045402082844878607503285910475204806567535684116285247364322037598668512770554116167820803074330307540494503201226284516163990771676985927914225460492420789089921040664734263056578498743678554836678461573797103080368197731688409173458147123557947289395367187904081311842129218930734911431725293215578364904109908007702195811223649609587586607143145015904337659934876408918063557160406178591361784980811029433135713835603701478421123360088904666144439750937996705355161517115549765185058082134811825387487946139918890173877139126108310771304637088545365430485634642163622942414720197420210743934033406405043186754474164214454765613099675310769459319535777687355381288072060029529312001256365282482607523961294184980532319421232260476569420177596259069211101617197887857455737986518048849209717665670043018954022179069093024318092607832728538147558247193178781246492273656252432203240450788280081611745608167100698650598786762299376211547799485032256266715610694044807733068764929899152319404901058263425472046268489694328849925302453920093568785779601439161871145402220929026959668552027010419795044186409967289042719391079551187091222800976452255258838079907975214182378176462785077689843476428686147106916437144178200736036293506786089818198302719362937182501594121613415508226544115968153578938564921829432442671569640258692258964425199598701501781697374610532626655429541274078750057753853063836446555768800272028968323398643864029437502914621603542091575636002359677139054804683441025592194507006767995218044781543983983499897234855534279541975980353038731252945860392051534910953136338047083178334960614387958931127298472665913571600594749921921019193141008972597394353902028138673474517981417404184518667697815940737681366208861542437800379871469563227674280195572386718823079222914973896118123836643119061820765684456671955353273879674888538210249250270635210508883147596903734498937182068157299285752248477131273672117305580034129158420593975711646543184130977495892906465538288486691602020653861009088437313228322527447874676171367015479920029969129357750612299930151731761635800064661202175482242614108561103159137175308363972247937021121563001363766788016980407984091650858179212934983623753826018490052703630607009182816145323510088159316671509615533524775183549600271683845525564627130799306179469803051241462371060632861125429647151582242344230017846533431403753142111233968314484774523967122763393484569777115845841088745324038383357356873549836360897164385361705208173371502276557792990461344806392881247720527846220441607797969704063953160420166368609193043304516439509132192348802647380722366394865623810854759915444030918451774901818785537255837308437280421200114648639406844914453718655241670661510919393642592447111532650843381162865117993604663204431485136497480063558005660928169777367422480172165792009481184247937641600187017895638690955455563442273254369875685619094496014668386217516939893447521199372400973843903586350658120431131626748499107958336569367259136835529819380825439746025507515972149050846862620384063718701217716200466650984563197689179849064004025544630415692186389514399084764869791461360807162551012991233665960416496445929750723029077112411926881386639464679398051008290528153617178871677909891647072822891087423395181188685366083984094985277793719687660580090431880505533495683791859959513643526659131265421902925745023665541282302182734523923538751700637938994068174912211856001351772748839732093587915483902560640873137019427697056166351038958397676302351769533488804227296625094600135811931870813951727654918680490101151633178955844435514709628826254182064997717887562550833117256140033368296392506888105969103738127432611493966909227365261196409901157064368962232929658852742935733289307405901868576559836573402592166188517113611151826683775406150198093895015976617599964449356115861606740387385201523238218664773659389198723461806409976612311385852363236564986981406732267011955352929691411213141864510793152829856975105412052878119888628730557278786973201552473464705043032482290998505133763831059483066414284824202925070146381161015070681509135051876597611830073622671106777730042507383279684041703541342056818901569579874652686506082039428601408888488133582512506296938759055242054017887564500524095227902235968924821959522655
Steps: 1759075
Otters: 44810
OtterSteps: 396294404824388644262183589718664093666469176403564514315690979316509491219613385903282775922132648723405944844842699489282197495749334752363135019772178475463337674270765217697519964559854109997409230994890351043425706474003453783475133155131723194538546369548753467983301411645266444996195051784192521140462359739663539448103511122495740151602037592633008698195010706116973882279166843874109468425705954322538718516132073375077455594329306649625177038922501604689503748520257291523325245103032534544429641971683351838347396831714530419115293212741679651099081748186996574835763467480905356031667502831585410181500230759209830038670081275883889962884844526916809237005899146741635497576410340226733188900011876146282844763937518473727762735151009861478691375057058902462835662123344939478607390083582364653739043780004867601358744720812422465871792948431417181395345214603780896140594881867871016061972074552970908622688775867585452348353358815096190717405938016043649181674026319686395275282902167273988397762816223919929016594538197201212491120265246550790327807266695943898747868131569821909930036170898343504051220497943061078287061392703031045902241613620649849478549994015701444447666775455562920674496999791447324682707961980335035545320019880610238411490640938801520600476590471762034920001102951890546101168002718213744330212124611061832810131163320714156114937758563238881502001551113764028633584824203895053951217020431432685535081108272654484149779824331863538334655293595248325338586579279440939956479850915965266608594080385132856530068372158410425947405146843702192745362196809340919447663462365666234422573915700999874449598499655955089856672613489338369257545374711756322887494649549285734611452637165155477991636431444434642543493362787684630685815546639745493877753895296763239341973739368026094482199452496780952378851542706983550497544595293659068566917950186886017112222267324533876915299957107879571081128600201401889415676571839500533798700628542896062602717007459462095776022719428161031665476590147208751028589210470859772011608548323525104018500480554613858563120661907534157075792074499350415278231218439111440332172480988632620154116277364398929661712850366731595499028481289898291312044012881964613541105284619137155074413132970193753176006756898880051739445014125190672798545672029032710616467510281207639876733442773496341688719939657069271329537420816348548404746488333386349798545137946592500398467154809511256526030441419814862751588280683434607706889759219336347975234668246271347831146928012987648585074300500796510014704177404280406614889158203523812747629755859758479434438789432582558710280457145315185874332361827212349646272604446267354657775236138605020144937451189897007752079102900612178099810002723899396693808168871078246088268179019576389011247606942749516178630865344852920900107218287401435584378368331557182109710364251378288164139429077122152196639163728836162522661325665050091140319687458853585279502799649584892241557405060260351086609937757111029249555118693775790585911214504924043276824543815343744811028382286218117152130345375157983987663710130110020110541996118356751160553513525338758630086124783881295040393379545892654067520890817299065494097002478537679101496922908976182649328383934602404506275025958306360361904507606542277295347539176679998216001147449728014393974696156261718263421458025309681392198804081230216555081721532056967561082402278534111199812227444249527028100045402082844878607503285910475204806567535684116285247364322037598668512770554116167820803074330307540494503201226284516163990771676985927914225460492420789089921040664734263056578498743678554836678461573797103080368197731688409173458147123557947289395367187904081311842129218930734911431725293215578364904109908007702195811223649609587586607143145015904337659934876408918063557160406178591361784980811029433135713835591342776149388953561615339530580741573928207757197804892040151410637462244259724408434685226830112064082775058253233007176814399227459626471096658684424828312510666755860233327338481031871188446116104471786311219508025265286930701060319555907318673050839128881585892506033908798598552771005308115264588817154032442359384275518866542799290403358162336455132377937152868584240257149824481460994364114275573574573263777411486317143293898580727724055239265689628110538456069680046852493340854321905891292122085831472503846710948224216890717704748314051841772249152050137767730904308807332568353708998414801182844754683475448225441930812559201545021898663562392518453102543799945408048377655270042194108605753243072684254689393407611713864074435422014806344722180088023258605800773085508597048566548486956040634280354097229627321676178733327073615316340038277412354760880048212966196805899143950965918187912386123639121260810455184386192981539648203132402029288003442226170697639697185641099676288235321449922746023553537564527253316127481713310532337355164166599804033278490455485338084889959227814662772966183857901497452767084261615109457223155707464266922668668934054446312466818238679450348499721316964784577939713801097106292453203964337944577903794005493336481557985220098306948602446074136320248927988992405351166487904917577133914168807350187483397635546316045156682326644568950738233242137224101269543694073839364451224811067262938230296947084110590738851052165782503117412136551487766632551707775688167431671703077852054436398654539445033187709602542517963338611594525239652047142902407966655112827909953862401538163307630889399231053364587840438412839666170895022958772014225867830381889962044623269455597589669566391068260108221519107539850506691721859346263580698830127470558847675500295048622914524903864011352461774896443403347828536021480456571595154028812381280055099724509805471379185386415294262555864764390212149331277557982022788929237394613463781724462001757154635993638043168729499023793956849691928007556600179463855608074894014927641129889498053727818151268045838757974958698125695464142574630190745070624714984906131948036926152945406845250546873104779356751016867709263877172875438275570831514677153503024331136085649334967412012704165072167889245530749044110209652222853329714813753987592217543802934208117224694366702333312215947340438034213702412150592776390516120630623409516243219350343737876537568989193660914893458766421979589952143134753574837257650813995719127665724057632686664292736733954136830772853890051098625766636847567999303308792554558061539934867160895801691752585875579365076251373459191398487609155076335073560307364653189150474526155300313317459812817978396472821440838608037736928544876279640438080915315083231522020192750820725341811385686711144578746607666899392966201357458626846545074772006256764061169518503414008914085361155823803783936407225549770260573323615383909450318086487937261508621432861917473279838664334984454763181973715989976551104514417118619789535438068168865395731043733941919570553553870636286232531817044257410644028596302584227232555717037715676949226500453097544564385298836631307529784793640721532488117690070285681913783039752617996593362461201986876138851247895819827493432881494866614158915457663422092822217448893629722589012184632446207487557472400006179376362739746476467883613826498274898198256999874910241014874970664728125555563303253303455470768498206173482102480193675737148472587555394379509693402282958375841263022276840733718220202872242957572145918970574159728843636054077399697016400080046651033628291695724385557301479260667830320807015649760924808004102684366758684392960037019560241112800146759165132742676016810432352938914991476906150910948583229051868622121306608411127335543045301293203743781668140891704547633025567326889599535823677503174203808957014958949202146398
Otter Time: 313.823705
OtterLess Hops: 15567444
OtterLess Time: 75.147580
OtterExtra Hops: 24601805
OtterExtra Time: 0.195004
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,b,[0,2],l,3),trans(b,[0,0],r,a,[2,2],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,2],l,b,[1,2],l,1),trans(b,[0,1],r,a,[0,0],r,1),trans(a,[1,2],l,a,[1,2],l,1),trans(b,[1,2],l,d,[0,1],r,2),trans(d,[0,2],l,d,[2,0],r,2),trans(d,[0,0],l,b,[0,0],l,5),trans(b,[2,0],r,a,[2,0],l,4),trans(a,[0,1],r,a,[1,0],r,3),trans(a,[2,0],l,c,[1,2],r,2),trans(c,[0,0],l,a,[2,0],l,1),trans(a,[1,2],r,d,[1,1],r,1),trans(d,[2,0],l,c,[0,0],l,1),trans(c,[1,1],r,b,[0,1],r,3),trans(b,[0,0],l,c,[2,0],l,1),trans(c,[0,1],r,c,[2,0],l,2),trans(c,[1,0],r,a,[1,2],l,2),trans(a,[1,0],r,b,[1,1],r,1),trans(b,[2,0],l,b,[1,0],l,1),trans(a,[1,0],l,a,[1,0],l,1),trans(b,[1,0],l,b,[0,1],r,2),trans(c,[0,0],r,a,[1,0],r,7),trans(c,[2,0],l,c,[0,2],r,2),trans(a,[0,2],r,d,[0,1],r,1),trans(c,[0,2],r,d,[0,0],r,1),trans(b,[1,0],r,b,[0,2],l,2),trans(b,[0,2],r,c,[2,1],l,2),trans(c,[1,2],r,d,[1,0],r,1),trans(d,[2,1],l,c,[0,1],l,1),trans(d,[0,1],l,b,[1,0],l,3),trans(b,[0,2],l,c,[2,2],l,1),trans(a,[0,1],l,a,[1,0],r,2),trans(a,[0,2],l,a,[1,0],r,6),trans(a,[2,0],r,b,[2,1],r,1),trans(b,[2,1],r,a,[2,0],r,1),trans(c,[2,1],r,b,[1,0],l,2),trans(b,[1,2],r,a,[1,0],r,5),trans(c,[1,0],l,b,[0,0],l,1),trans(a,[2,2],l,b,[0,0],l,3),trans(b,[1,1],r,a,[1,0],r,1),trans(c,[2,0],r,b,[0,0],l,4),trans(a,[1,1],r,a,[1,1],l,2),trans(b,[1,1],l,a,[1,0],r,4),trans(c,[2,2],l,a,[2,0],l,3),trans(c,[0,2],l,a,[2,2],l,1),trans(d,[2,2],l,c,[0,2],l,1),trans(d,[1,2],l,z,[1,2],r,1)]