Machine 79 Results
Final configuration is {11}^(digits(2355))13{z}33{l} Ones: (2356 digits) Hops: (4711 digits) Steps: 3178530 Otters: 107045 Otter Steps: (4711 digits)
Final configuration is {11}^(1093)12{a}13{l}{33}^(202){11}^(34)10 Ones: 2663 Hops: 11974138 Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is {11}^(1338){c}{11}^(3){l}10 Ones: 2683 Hops: 12292474 Steps: 2853 Otters: 91 Otter Steps: 12273118
Machine 79: [t(a,0,1,r,b),t(a,1,2,l,b),t(a,2,2,r,a),t(a,3,1,l,a),t(b,0,2,l,a),t(b,1,1,r,c),t(b,2,0,l,b),t(b,3,2,r,a),t(c,0,1,r,b),t(c,1,3,l,c),t(c,2,1,l,a),t(c,3,1,r,z)]
String format: 341rb2lb2ra1la2la1rc0lb2ra1rb3lc1la1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #g
Table:
Status: halts
Final Configuration: {11}^(digits(2355))13{z}33{l}
Ones: 1421181479049604931798457176683293303565968648234146405912401364194191037579504707447986330939805405074540894921746118943381064301363679613559598970158679629810775476217205935273795080164515344174233771771156489146677239002433849335250225866668120017155746448491747543211214904130403756789165208896543968362140118413246314653667983073168573078171119234407524785796407226920943706956142377026322144732798898287739200297389095430035224721232739135290142328563622349165261310765614032122539651699587825878792946644782617606921308428799303842610042974652056062967733919040614634751137463803810405058822945563723357444487641214783883628949151318978875124102093569797615256687103581482711153956179691828060301408029158045570840995549736665234598966555272285883616297132847040186093637584028029270395059790695016902574900858920664318335729087736630200377224368722727531230151266287902485798132804113880590222620946797713680588099009325068284868766233162278160268502812917802160302674880732705288348501453434226158574423870728811332660003364896072861465165914529857585081417814819924145484264087681686517122129099005633713409231036281681177611536568693195528097913280674447972556966312413405985710137416898026189905341668841596138112930886150639096719096618057551212235363142964783151687667033393010001965040633839209432736288688317416597949320619178438407302024643976694672321632561369990948765845205188416702891879040334554591463151590242689559881365786583855993376195701082323987897373004542451338521496071701765803076724011093739273744224146392164274481112225756493411392261500462138645938046093509805379861564450114349432737334723883024393943964949410666962004086380865970676856651389595795388023627291955005062614062700525128074906398236448709141232633388993612677701726938121353495730086228103853239361323203294557441131591846669997864351507103450016431466556773093645701850268996486845269988080629977573652377253744304133763321378114125261531104571095454219600250465849454429696839890324321817309982741519004649324480713451357739475451441885691562210707549455167078408297429925612057961604179518739025591853067948684428117467164123841157713644243729984900779882754715924114631671325718569990589818344689208523715366289915864979102854660976653939755131788278616257485006193925901647141764021125136199030583291207686411773381587196792723975205632529156230104
Hops: 3462440222389067420023734256821572179636374179107593551929295812933447342123970620610878259972084096526013711405698067995236932379835066382273430263490446894181861206893431590998930834789529221418378328268631497364378159711683095160143564704176249279403724179242502452504520902996580466271241564088339326000385650798203676047532981477538258487928242957983690306121205227572220595349048445518975099921763705738986120903998313341548242658615216192388580745600748715631573726615507082364727863797136476208223746163462132541768867591626275570919344417043432491459291262629833947740631536235300899580256819756042481808797681957526153520307093682863139575860366460742020851198911814520489012209556124008790614077052522198659810240446685063139868224267107732845203916083266022889682907483337527716711271605352705417001033763601327657944679052864160348020947216155739725036114660836815997886450675128113630902038423263090652342159635939797290779763873867378862087183019245061886198294487431265868888322639187433372898888350638955585834390905210781836744753813523340117763576998269693624938164642654244058774919341176904928826129876695636350350706935354968592714141537506970312387129047906301799437901723867487284629152585601654362826704715577794989591967338611604653588251569552432100727085226540642813422777905337313199985880735713517905611135697338391315650853867177511174328241436788790582689936563292055246860231096220757530497746293563091310907669908846722212716508689334000083926060689958219693476119274742654164168786264602827785039815605989313911485342049810265011812617705456703877525586819772774330382270258560495212105704091928098765438279662319397505527032297061329945697062534647278561585236320067305375302338525482389694160183907202388248226545764030485137906099238368560630222110341692948139966718469488139960940602701555616601962018990977617802651221744734526654565187225999790223811839557304262235993230088875380267388445256482301120460436164034632499016205114873406689039128841955416257297197017373446847765193568089356031961941743747071958864631183527048295865339214976313621575234662921892398670083027146146823356220066593725258875778810187956706625690832248453738235139275442145033551368424078106927361326209886718119719753448708647203379411132764685075251446784756281682921395403691313300816678376163262873053907976697754574747664971341893356834003772234451289444743170076570107435244346305966173683154730891162104116611920265504413169749811626778820471199691344630677674584510327969189984678677130317777690731024206604212831830428309522963858338038838629268655971088796709180347114521640438605299214013765603580170412075853905251303480518037245033310027612748258692356275450630730705209581252887823660664663167931140277045882477737495689829182910215085447215427207220941024667864413944083338268418988253602191698464990633065239353511299920819315571534374268689153956705412524102835680922636053450958600436993741983409485692764407276005748897939670984013179675747024928426160877720593295485150185076133976729391701683263776725764855767316689724382627708484818916151210469462863016927276724558014974709510862530567932735224148656563792569454498425097088302589395922616908783186692835484591356389228068327122571720652256559406150740058215853458491244418401509886617388138149024918643027156936891011776961093824338095583315408229126926298142461096615219512762599359993445417410130603653173852830224094099010154926579267504246635143234642688630678608509140895006772585463411660516349497326615467203842572518892954489774730725089247106807269712736072451687895611226436660414960784939739844852136394902492881901666422129667077584255724309873470397935694331550884035566507295401690129545079217259601397428130931422824033318314799136142664954527972840208173164719135205825824086301647311874157240701532315382543335598779452895595718683807514144054293663959529591283469379682129346219362599410632453630832563451181923618262545952910980122087892469274785306297386580257264465405580122285054073263907442585396322362876368393122497302873544323001241598198989350867823814466485971424066314782306896575531850484622987159323867265786074005765631246048052733063804872362528324324510972700550905757316120028632721922779218524944393139651765922699113571341502870656412037521484949515145698616571751628034931780104217134766875242798185856771263686399410174833999165303359055344086463149471048456093295189322801987655271302528303189546963640644049905208760897961390123356049032562134841529135585680344822612557018962547150625184209950439759811152307642845809647916817995879790798345471300118058486460318633042458536842331134001414574199739411518203294444128546616102982274679848346953237077831537908570773588217133879
Steps: 3178530
Otters: 107045
OtterSteps: 3462440222389067420023734256821572179636374179107593551929295812933447342123970620610878259972084096526013711405698067995236932379835066382273430263490446894181861206893431590998930834789529221418378328268631497364378159711683095160143564704176249279403724179242502452504520902996580466271241564088339326000385650798203676047532981477538258487928242957983690306121205227572220595349048445518975099921763705738986120903998313341548242658615216192388580745600748715631573726615507082364727863797136476208223746163462132541768867591626275570919344417043432491459291262629833947740631536235300899580256819756042481808797681957526153520307093682863139575860366460742020851198911814520489012209556124008790614077052522198659810240446685063139868224267107732845203916083266022889682907483337527716711271605352705417001033763601327657944679052864160348020947216155739725036114660836815997886450675128113630902038423263090652342159635939797290779763873867378862087183019245061886198294487431265868888322639187433372898888350638955585834390905210781836744753813523340117763576998269693624938164642654244058774919341176904928826129876695636350350706935354968592714141537506970312387129047906301799437901723867487284629152585601654362826704715577794989591967338611604653588251569552432100727085226540642813422777905337313199985880735713517905611135697338391315650853867177511174328241436788790582689936563292055246860231096220757530497746293563091310907669908846722212716508689334000083926060689958219693476119274742654164168786264602827785039815605989313911485342049810265011812617705456703877525586819772774330382270258560495212105704091928098765438279662319397505527032297061329945697062534647278561585236320067305375302338525482389694160183907202388248226545764030485137906099238368560630222110341692948139966718469488139960940602701555616601962018990977617802651221744734526654565187225999790223811839557304262235993230088875380267388445256482301120460436164034632499016205114873406689039128841955416257297197017373446847765193568089356031961941743747071958864631183527048295865339214976313621575234662921892398670083027146146823356220066593725258875778810187956706625690832248453738235139275442145033551368424078106927361326209886718119719753448708647203379411132764685075251446784756281682921395403691313300816678376163262873053907976697754574747664971341893346651208760953036056211986300821277497058961845397866527826908856429229736249699599988835085193422615442490599680068137802812464818950171467390345202193167307713025096626354467224653585112789070436727051147827074370160022083815883412252144868557249867182295188992323821551938763751623718079788135543329440295570378949357691265319189304768622010749930754822239608555188453925093797498802515709323585201763864173184714317522998084497219111100846759394448063973952754568891998889206887233159644398363971872567968511258041671676580260967000505985699202721823127182140275137929138060724219972321985736084328981540361404088547524406826721870894256696660887757107178757511077779994839584061447298014689439923700957944927450017497446612418841252065869946495395929583856932048391071041844601536565162097478811960990396977915700369627201752026549773767362377180696777977159015734717211309763880903548587790666371535984221476657458817252837180231803521048274816277420647013475633612270649465964149464751596598360097676473205431125320023506986217047220432694159946929265608283806519517735987715005810179645842393157455709353035975502042904681670389269430162533493276121286985544798149142872846941708483687837865662381579004278928837425713904600579232648278425066945150678371275373867546012970844406219529305030179836155082121141715981654645597208638824491858990907462508673588249499538026796078899312122516741542035835152709942229696546297438766018398412148457744223520627897478676856687472169234490094615541456787253184012039699073694591677670716220786396251405750998879383440545441625660443220079050479410673285690177380984003782890177167376180508587635005301605645560262185757451507123659224876398736877589776981955426293230933276698828080993281376147758511389789495893748345190663890534501376510565168755241915552988345846281874101671425230258107596072957018870121104077049665476940481664959971438235998713474206061786655387476084750016379119034610972558432165264483153575938390417873430089528496483555475559868850189860165737623817095521871024079766024367691637997643539665394827166842319214551247476903475781341980269878447778649341899562006198121622248395197904455066307531174559279202787488035586862506126113814008429384751969951035213385944472081974325824768573087882500441336703259471290791979112540653259616939256288057619722282823050002612175151321342521646
Otter Time: 559.231362
OtterLess Hops: 11974138
OtterLess Time: 75.921781
OtterExtra Hops: 12292474
OtterExtra Time: 0.455009
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,b,[2,2],l,3),trans(b,[0,0],r,b,[1,1],r,5),trans(b,[2,2],l,b,[0,2],l,1),trans(b,[1,1],r,c,[1,1],r,1),trans(c,[0,2],l,b,[1,1],r,4),trans(b,[0,0],l,a,[2,0],l,1),trans(a,[1,1],r,b,[2,1],l,4),trans(c,[2,1],l,a,[1,1],l,1),trans(b,[2,1],l,b,[0,1],l,1),trans(c,[0,1],l,c,[1,1],r,2),trans(c,[1,1],l,c,[3,1],l,1),trans(c,[1,1],r,c,[3,3],l,2),trans(c,[0,0],r,b,[0,1],r,1),trans(b,[3,3],l,b,[0,2],l,5),trans(b,[0,1],r,c,[0,1],r,1),trans(b,[3,1],l,b,[0,2],l,3),trans(b,[2,0],l,b,[0,0],l,1),trans(c,[0,0],l,b,[2,2],l,3),trans(c,[2,2],l,a,[1,2],l,1),trans(a,[0,1],r,a,[2,2],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[1,1],l,c,[3,3],l,3),trans(c,[0,1],r,a,[1,2],r,3),trans(a,[3,3],l,a,[1,3],l,1),trans(a,[1,2],r,a,[1,2],r,1),trans(a,[1,3],l,b,[2,3],l,1),trans(b,[1,2],r,b,[1,1],r,3),trans(b,[2,3],l,b,[0,3],l,1),trans(c,[0,3],l,a,[1,2],r,2),trans(a,[1,1],l,b,[2,1],l,1),trans(b,[1,2],l,b,[2,1],l,3),trans(a,[1,2],l,b,[2,2],l,1),trans(c,[1,2],l,c,[3,2],l,1),trans(b,[3,2],l,a,[2,2],r,2),trans(b,[2,2],r,b,[0,0],l,2),trans(c,[2,0],l,a,[1,0],l,1),trans(c,[1,0],l,c,[3,0],l,1),trans(b,[3,0],l,b,[2,1],r,2),trans(a,[2,1],r,b,[0,2],l,2),trans(a,[2,2],l,a,[2,2],r,2),trans(a,[1,0],l,b,[2,0],l,1),trans(b,[1,0],l,b,[1,1],r,2),trans(a,[2,0],l,b,[2,1],r,2),trans(b,[0,2],l,a,[2,2],l,1),trans(b,[2,1],r,c,[2,1],r,1),trans(a,[0,2],l,b,[1,1],r,4),trans(a,[2,1],l,b,[0,2],l,3),trans(a,[3,2],l,a,[1,2],l,1),trans(c,[2,2],r,b,[0,2],l,4),trans(a,[3,1],l,a,[1,1],l,1),trans(c,[2,1],r,a,[1,3],l,2),trans(a,[3,0],l,a,[1,0],l,1),trans(c,[1,2],r,b,[2,1],l,2),trans(c,[3,3],l,z,[1,3],r,1)]