Machine 81 Results

Final configuration is {33}^(digits(6519))13{z}00{l} Ones: (6519 digits) Hops: (13037 digits) Steps: 731258 Otters: 13667 Otter Steps: (13037 digits)

Final configuration is {a}00{r}21{11}^(594073)10{11}^(171030){33}^(13649)32 Ones: 1557509 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is 03{33}^(1107160){c}01{l}11{33}^(13649)32 Ones: 2241624 Hops: (13 digits) Steps: 1022 Otters: 18 Otter Steps: (13 digits)

Machine 81: [t(a,0,1,r,b),t(a,1,1,r,a),t(a,2,2,l,b),t(a,3,3,l,a),t(b,0,2,l,a),t(b,1,0,l,b),t(b,2,1,l,c),t(b,3,1,l,b),t(c,0,3,r,b),t(c,1,3,r,c),t(c,2,1,r,z),t(c,3,1,l,c)]
String format: 341rb1ra2lb3la2la0lb1lc1lb3rb3rc1rz1lc
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Ligocki & Ligocki #i
Table:
 0123
a1 r b1 r a2 l b3 l a
b2 l a0 l b1 l c1 l b
c3 r b3 r c1 r z1 l c
Status: halts
Final Configuration: {33}^(digits(6519))13{z}00{l}
Ones: 374325560537575972592107618696681769604563279284208760632761280147567994657620893407351708984102386000633904286078244210165722947193207949994722225574453450860991407426327887529802170054253270718680199716214298341742004481546739695682911101862253468925353841903759106636311147494019641525056161722346222443494318532887644375623186204232049541023919595495046198811979718098198328979146260715777110565263433039780557379248943632651726905653508287822980814948452685497290422963247037817024625301397155599602792092687796655093391293465510096874364662434722641547997751347386991577912603324537325262489932387711623513250429034171079290615244816097291717959958186444774929661977321016719005168671160189007667585516740063030902927788355569804051326222859015382616620295654976227114195657408623157854110293574814224132929549004863967340933851124620645351746649958499754189553603186529972563736885439396617440590455915689310230646226617943672193142286886829732782853802933285753206417038572897091699500788706044431129086603010990506949166046872847053850361194966251218355432392215770099508723330536636823392821069930454098319537083641609411812766779283852129086089205620280799175852387281392733422714577737833903462982827627650278801728655262722290372494979447710559451415145418052884118421870234498210966339419357495065890311120144657950440498001389152172224345935830805035791064414944205233202275106763922723747394259030969300188802334901229038429241253999115446342671421889466064137460918137210886354199317579723548196839835793234476042996621814040678493243262272769562794398833596274664390549403231016362727211701513414770019887554052353574252877500627019628634869862974165200488658184294618381408309718036736067818333645557299849061744205481494007199494823768004511412911374986333780017801285470158463282752229911698874444214984823353979025661632613878709081189471498366538022746664257428928131641046597564322945529203329224343172187191765162804349761113879056718728411115691260848517885359197874396402876032653801661783363138449139108752925073093170586170322731464979616519856531219409077836613621559708316204875958357069943021049348805556209384875794883697239179423296661166454926244392290531512801071714863034661721623279247827571928870339004750707311047639419059445994493816765855309842542561585983579649951460868600197341687242494770839780724158646619070206961206244375548807087249761263314930532702883429420805045229927354379918764217543210156121070410197986076641364088498796264366382161472493852893948920487355638121341257686212814188067862433963881243293050645468787415444536653486032457248915155423706273135540632311860911328709207263362320494970795820751492661739339097202126744783930673225650631487464753591144217579056243295341689433735121512248930254266853656860646971633367968032255433926077223999846995537425395970152994239513166014844677243868050347814372065734220307373673215616268687085699532353729726085883194117791685818051593698545516159308060601405686762785490828527956876480434549425365478059160089988412793842363923469437724030715472692645500442621982994984589363184250740264912184589527295827946412930340177772680299739087682748875653865486227991225623580948048916242161074730174720012569201409573574462889838657340858773380821799999691022467902757071863092149609043149352351547960428035840523426369718024191066404946571198626990950294835543289057133548990462635306005433019949411712931476362403492426448653282733232307921440235327850043862099634836792433351894574218425141972853713065884846919147124268876839544897633891885504057009115085527122564044524647189650138955705182338653603486397230400223623592982199019793933033491297463437627332644471226598597789527480199971721983044551517489007727352755357140817384681147336780031416640202089051377809331114145950205803130169372263274523982467226922212773425696184628197654415568558377161767831571084215818141885377119791340469679959707280203940449423433214224634670540390164527665181349319241397978524046782446180248469952269064163567064138126845178860008188408826882315687971491147037684409517984164808093543810503471799076628012690558425474927268735534126847610012580065577409080371448078799788125116605960270521564139119465678965967066835524580760569460448480920698837141050266047987608862162612445809314761818222833444917473558026836802835053776796478730690972990792667957736009394515382269967195089241879178751197746798848647659617393304800370277737323307114113614636887018065628855905302629167145963200857583044504792163235514764229369281426752940265159292541001602860548199007834169073873905900328275441946308506775555656249035014204085181495665869839667782186385306400815213870149046996239138551588746234682729303469826171516015317070799001989876054222060386565321611777038800939995896327752614701239323792009323061925972895591929435455306646000788553743682426818371009731452153800269554464244365051352884953693289353725043500255373704161294302755173620638358575929006729124239673636346291364608760114749353430488571824504119965143644263598592085880774475685616851184236825720616035008545134191878916635076111007553592255915716281798875332425401264434594289223201310287481865526243138949512131860238026999145004248532790625920003248749564583897452793655994917404588957854830191201761059958545434968847051388225785347692339449482765356695564774189813872258700598273134512709389147128032721184170938013308002709487711709218936357174536761516007556638058037793425475997730999301645881903040172747206231134373769375687682775417589381942579604527646744446654072809215514471776431437171071824724130927308796816881388265964761742777021688125152516959444403750882821205628120054824531923265720249632430401209617745496324333673072123707097631466013742361151018115866083576144881106727024771633323182300098076502723604691163107622750770917147595224978040895771426699932681535892557993322971803451663988914233457659368001761954500817620315843464709515539170110668839720267434606982062732482735737050541277836608152310803374363371461084530521698294611216644137445905462827372347027523131029435323946859805790981124805536763305166529367436603907109633975038633170831522329218918921427524535786751453655542591527080826420822299212658242532826099937596251730845935749505123409249622393713480655990393924540523440613034473960994428862945760890575786149223001633564191344806542734390123009726214280200650383632533475305569991429130414379063737092372192081128018937549958904400864177574571016621457502773955987966222128140864195477639719075205425952147815010
Hops: 52544859476913920345684474327307820780341689702008911993559363921906306723119423119807668627593834081586969842371248353961240949860663744603711369326388353310029667920757044794015447252075845594778700793549015339928436821108740581245506596327292147993361086084218915036655525763310378461601584486158503721554643603433784804369967056058503804197349606709513638765807477159856094075560620358659563091743132075350769765730363862684568260495887358149193349571831100721195420981809457065782330035883675820878319969814763248626179435157870767234795006808491353548822988865816622365423955650211173878173601474508159514945705602308035755029052928889637672421097372636390496357162320966207011552994445656425309495784430305604671078895231977859855016602175831751938411409076958926945935213060010290596924954110573279466023379098242210767687282914208478085971765885621545396190026263006247513260343973457644495720434706816138351428772521694631170002387219204354601479746388796757008884096954050318754440540734119902158671346750927177234955854083862756886336712525127857542659458937189777737991512412209633352439309538991202277965564331921893229748841300139449758719633959338877238313256573815088757382837243094710212869879818845878921501352625441812396414467822640881414834914637344810690659233193162674265189737392106934580026316574742930653159371477939589588797988472937829350060223078913536667035506518276399141854332627617723705948734158514846561020025449410568734871192960432025922227176545810162290495724168043396911057563320970543561567353495245064901186672363554052612962480291070276134980751269597422607509699858779328714838843827554946582201551379133361871694178148756531196267573547188383890496907744008350307319383547255255958450914586979064382738017148494843339493486798857267457687865667901897866060996291556466097403410380636986348571903805155484805859283267960036729533064733704645948377383814405797023904993539796160720944233055782155953440541254422730184168272422014890022556370285563206759191719528439702478557302689070059513935267577808637730577673087933623219961636890898159649158338573430673945173399388781328121048442359994155952325537740765852857376899514842714229487118933404471420457078132950675180505081484362905008365882378827183233753801608637659439744885254688198427159090793381968311916392881836513555695364227762560927870840343159385352951647317611248945420745662872285640071266123392785822293635590376546379071278037237032299771604804521648129444867122895082137570837384094486750226784241929583147759196735975113675103903220270049250400015141897280661972928016587090898840355337380837750772523593565698716022725471676287221253982566904391426748222364577169317090022634956346595244257861423362886119065592675473985541558584280730302020256778083698435781901573813442277909296460101118560312023501691341167001720881038818152064502333697148802536183639804717973336206600521652753140252247979179582869501688234870720218464080304857270238889024192613307106977476269792827805388882200468413002030730937554262306073372524161653246153076833962245697343821591958675363892900147694073913353420324685035338880022090013010332382477757771407763115858580774422610210333869058648629750085092579497098037089569485626057920300490434689658745020654503315045556665770363996926361416142661171576310743935090691079362042155599802835115631907002275083975268081178902101107689028357852136752248942500141552889584012620697248760642128700831493453576185142843244914999771492968087080334682962876835022276350781137393664763722168317103406448479131700494864102830854253105262552337819479114875489339486824267117545427114245309524847492695109500243294998911725158955194236796622222351507030812561858056705905289297643342099376829839213493368535030719064408549317261673661404696029589656706078127867685915854345397131726357175022610745607009878195603492096628469053169647900519287987223729343030542060147568307216694597535839310039589213088495225427877774287931348711410067607120975094927487365535470428278460702639977924092584679414682350641166655077933419540822883499300092349785080628969387384373116083522720037185033330255218615708785436033767402504377334660446910028171435058116071038363607084860535978873889433926988803589327123095932824080027403186282279586665708916509365863906465595719375049321508597365842342830119011143194667741076519041118769758755440866460091068399810656720839973503606807158931595864452699364470754907563025273423569301435000126527846776199508418614343343387203327075667221373069467032917640249151836156243736087297465882575287859317837167449703138533972680465900825927514751436283766537141607792664788619112855487121683178936308710099325738222821708737806528332201972735037028792825783819766082576901543716537983508576520427995411441379691583740111527686215435966354982439385276401603591262451235474560940530652186097027219298756963681539164142142786614140207449588395110087172674627577145074387650982007370400805273661344224992676624838528500555621479212408133397629884090582513921435975007854189854716759285969528641026743240238156160805537091416897547883709381378009901043093074060509566812665210431727307304143190142205537712256646966031798390114216414472909032614873430542637728104995293080969300033847021340655935955047923322091925814503394717126060260404441251422700679018266972602733019746425693685375025042328464904374293960703879880132097308118271497792201747174966173156105658326530829214705543092387758383754673367053986446184961311585858552454049255837995001552921655596126870961951814522989773418341552229500831089691777495427774115662454716426858373499309365407192561525392388700281899310331808443305277982809256770727829428063692122152135898569080987813603379491560182655425077274709563155228138873676812799449348092189922664275992034437878576212905173091790897116457904013096994083844408271516208577436838572889398796486924154288979568999166362404294746916541656521959539944387529585150302311599269919970587501424349712044941896763711884311986474187120110313836007597129315799228422151869700116109865689660370397266224232366233811467520316298042795454839281022502179263668755994972762238511460869500759188727483158480515432763626406210496460191521871139898148321452427772280877516679686518371434400283098469971234718549698510616864268201270271952143486486801496067374554706909216556608144239170374738860976383841304631666923364755175164582549177537818234177010078496253582672373341307108861711171309994688585774822697388856050290585703807464980036735811306407890307648015131060034073511410133178289025688682974535383107488072079724856551218833775371659858922286091381351926190386397681033169484146832616069577887107704300583688502648185180955985422066844311790428395094931104920441347616967558652465497526078052235467577238422197407846510590271650231457686262089721612678153011953937552410287793869410566526326715643314093446591040871573602654519597331648482278408291138315237614795518518165008464838419379435121611882234495677538585926224975012713831334564406765047662007033163488469290209911478439110017962339960568062091015968835875028293494181018733949316904561266938212810675197375295691067335289502786139460994770803083126531233122119420563472221399769510268896462571825053946685594766294732290766420507115094674544153218946967188180000602816902763923630500820769749717317659300920171862674969015366601871587470023972548980864880481634914378309935646587188454111363477610959743533657591899968187597603482123368167575197407154687565219967421298617112358180989803470638647430568942922767908251461822298308065702713636159425867636634641304903779220179433843643053895941268527287120948730279654803816560849709153218589498837368521793914319186972023591956543522203052327132061736535373448314938643254278143788473684394140506037987249128459843821986863408969844799157458189467697974542461318233191523801219900202555352481843186781280744187379731219223119971763403870524046517273101410401536706008477708910326831657331137443977645496938048003771486145180653515086804178919193425915713486523375709855554458482606115547152569338602275267576961529542215468339787893738504545045931806570287234679142313102823601811286995062745129323919512083683993818748098992375153459163329772971505668432392719707281318522194012011040700625595949948596287546776050460088502123413367856673312887330035128196602633739652281970500742515738065696370072276675032566850028050942702721587889230992346051631281783578414365697471352199607671915687204481358157695690621188133020807937735930400058629724891722174335249595717603133996982298300682643089522514320553665419219640503769631848253586600556778929967185091576295760404822061894655629455454864760705243734526593199964245716288201545112864591510273500938117667459722676635259604745274511783707222241812609262303332201453380394231178312677781366448032918575023201989850045240217794267215312127163529387618714046053724067980808617956275909321432508341143625754890592889662554314392432252421704864250895036041196379697167932016770799923371291945034355841557981138819330475150154584586389948586926179618343420688028624637683227686307593261838277989527034661307792385124629193722867197923610947500578825464460837561483604232914127701141474536380119567689682888612184050803851958908984015482830858795052506950120182242834274101027434481562741913998374087503725095479143016564509007814769158249240474756841308231533204832441448833045452076080497651603153159294021509883611086282329778680325876318033035489575425674911718051449814846924498954028977782414631880342631650980751531311379857259748729353825180651443818965334690647467051072993667309531200389583069044752496965545310588478015698166072999334388053671594564879669463929570085426130795835907710422673854079431305507033833504152694185755123659154822995085617115931850666635023472894074189110751099907196554659593022171733448982724668706300569334024383076473547794575671598897377786616787231495024904929466362158965001370950365771042709727122264197605141547654203137567472830732522606595821743004685982741759446248347989410758200582488034822802133132239876135072990512558853295943958164548854840331452598864758588656365240943774819528142176720863213387993456097578859183862320319705721314008383817392898097926434333973721151783802079890899550713807049874475511413594153167557760287513774454320562893600193598281315086568640866364338707132963314426667900788027099973025950117187978466399324623502604407779348518995740564608681888022387392739850675315896550677987803882186604523151166331449464880481966175503324940402517153674398005089344770200270482572950811545290147434834642396385990895446387655822806810071075405971620700561843583758560456462692202387301506226476779481520667711414513186282758299469307191175371959843152671964232704241764374674872656621348699165975602632913977566594401667061469256799702143568169355791287927410821061463215956991718826525905466799171877467949422400572736780045680104671758336143118814234139125101312522435344670099275608136863894991532692567866275534328078267349699150698270152923563748377070263236538994053179598973566268369591236042036237385895116821897545775071601528637675109286819333487484109207564208488415287017466934029422958248989015858098753067009024352279859360287579787819231396424987063553307875840120016100938163658345159823118259197942201011425420871367129221618650113582403056712957852274962786807028363189817863518205425917444598413023287749121630259778282015699228298459978544513688351384027389034289227527593258217201705362409113875051465687791185717093809289934048954983922577487518072001301505385631232109839189350325569961519407603765217163839843181101294218056287806696806559405700322051565478073319979200994421952474391781928120750362316450138219868886023955547786821478933560469743612193722736053730329477426517940291617627666680782231389993756607313801878468479911941048299728214773411654418101265230859331645320627225989330839720104009958195577439731861677822080000837826609133703656276280200121766698678593171300933628575322531588957563269176673878230720097093456224997975920288650024616647863388323067560660276627513458778354869608821367140197730138630461842729985137229550849561828959044838645920304041426646904241685191069635267694819405443335682000845873867206067568345163965252626872111629259916788154460443411142125555537028471655268799291945324471943456046548640483912885054668589676581155986774924251805152851410914259642891277033973978426759789542188832741164460954944780856475941353056787469422278815929428089217255450929617474956453325006016168981378518871647779537547301454246549895373261239552021260150773665780149641339714568827034820376520404321470238814157358964473792518757736222510619362815404912883801736306773969361669199800542701861924652327184002691534185394999335291515687179887097759002235445051855971296167800460329367521693573356765331034550249293676846440603634452588270607132774748931911152420722273818066013137923081640895478952299678220007104182763527381976173675072181163587306688231342450333019774164716929646674795827352289726
Steps: 731258
Otters: 13667
OtterSteps: 52544859476913920345684474327307820780341689702008911993559363921906306723119423119807668627593834081586969842371248353961240949860663744603711369326388353310029667920757044794015447252075845594778700793549015339928436821108740581245506596327292147993361086084218915036655525763310378461601584486158503721554643603433784804369967056058503804197349606709513638765807477159856094075560620358659563091743132075350769765730363862684568260495887358149193349571831100721195420981809457065782330035883675820878319969814763248626179435157870767234795006808491353548822988865816622365423955650211173878173601474508159514945705602308035755029052928889637672421097372636390496357162320966207011552994445656425309495784430305604671078895231977859855016602175831751938411409076958926945935213060010290596924954110573279466023379098242210767687282914208478085971765885621545396190026263006247513260343973457644495720434706816138351428772521694631170002387219204354601479746388796757008884096954050318754440540734119902158671346750927177234955854083862756886336712525127857542659458937189777737991512412209633352439309538991202277965564331921893229748841300139449758719633959338877238313256573815088757382837243094710212869879818845878921501352625441812396414467822640881414834914637344810690659233193162674265189737392106934580026316574742930653159371477939589588797988472937829350060223078913536667035506518276399141854332627617723705948734158514846561020025449410568734871192960432025922227176545810162290495724168043396911057563320970543561567353495245064901186672363554052612962480291070276134980751269597422607509699858779328714838843827554946582201551379133361871694178148756531196267573547188383890496907744008350307319383547255255958450914586979064382738017148494843339493486798857267457687865667901897866060996291556466097403410380636986348571903805155484805859283267960036729533064733704645948377383814405797023904993539796160720944233055782155953440541254422730184168272422014890022556370285563206759191719528439702478557302689070059513935267577808637730577673087933623219961636890898159649158338573430673945173399388781328121048442359994155952325537740765852857376899514842714229487118933404471420457078132950675180505081484362905008365882378827183233753801608637659439744885254688198427159090793381968311916392881836513555695364227762560927870840343159385352951647317611248945420745662872285640071266123392785822293635590376546379071278037237032299771604804521648129444867122895082137570837384094486750226784241929583147759196735975113675103903220270049250400015141897280661972928016587090898840355337380837750772523593565698716022725471676287221253982566904391426748222364577169317090022634956346595244257861423362886119065592675473985541558584280730302020256778083698435781901573813442277909296460101118560312023501691341167001720881038818152064502333697148802536183639804717973336206600521652753140252247979179582869501688234870720218464080304857270238889024192613307106977476269792827805388882200468413002030730937554262306073372524161653246153076833962245697343821591958675363892900147694073913353420324685035338880022090013010332382477757771407763115858580774422610210333869058648629750085092579497098037089569485626057920300490434689658745020654503315045556665770363996926361416142661171576310743935090691079362042155599802835115631907002275083975268081178902101107689028357852136752248942500141552889584012620697248760642128700831493453576185142843244914999771492968087080334682962876835022276350781137393664763722168317103406448479131700494864102830854253105262552337819479114875489339486824267117545427114245309524847492695109500243294998911725158955194236796622222351507030812561858056705905289297643342099376829839213493368535030719064408549317261673661404696029589656706078127867685915854345397131726357175022610745607009878195603492096628469053169647900519287987223729343030542060147568307216694597535839310039589213088495225427877774287931348711410067607120975094927487365535470428278460702639977924092584679414682350641166655077933419540822883499300092349785080628969387384373116083522720037185033330255218615708785436033767402504377334660446910028171435058116071038363607084860535978873889433926988803589327123095932824080027403186282279586665708916509365863906465595719375049321508597365842342830119011143194667741076519041118769758755440866460091068399810656720839973503606807158931595864452699364470754907563025273423569301435000126527846776199508418614343343387203327075667221373069467032917640249151836156243736087297465882575287859317837167449703138533972680465900825927514751436283766537141607792664788619112855487121683178936308710099325738222821708737806528332201972735037028792825783819766082576901543716537983508576520427995411441379691583740111527686215435966354982439385276401603591262451235474560940530652186097027219298756963681539164142142786614140207449588395110087172674627577145074387650982007370400805273661344224992676624838528500555621479212408133397629884090582513921435975007854189854716759285969528641026743240238156160805537091416897547883709381378009901043093074060509566812665210431727307304143190142205537712256646966031798390114216414472909032614873430542637728104995293080969300033847021340655935955047923322091925814503394717126060260404441251422700679018266972602733019746425693685375025042328464904374293960703879880132097308118271497792201747174966173156105658326530829214705543092387758383754673367053986446184961311585858552454049255837995001552921655596126870961951814522989773418341552229500831089691777495427774115662454716426858373499309365407192561525392388700281899310331808443305277982809256770727829428063692122152135898569080987813603379491560182655425077274709563155228138873676812799449348092189922664275992034437878576212905173091790897116457904013096994083844408271516208577436838572889398796486924154288979568999166362404294746916541656521959539944387529585150302311599269919970587501424349712044941896763711884311986474187120110313836007597129315799228422151869700116109865689660370397266224232366233811467520316298042795454839281022502179263668755994972762238511460869500759188727483158480515432763626406210496460191521871139898148321452427772280877516679686518371434400283098469971234718549698510616864268201270271952143486486801496067374554706909216556608144239170374738860976383841304631666923364755175164582549177537818234177010078496253582672373341307108861711171309994688585774822697388856050290585703807464980036735811306407890307648015131056197236515899979459219922597041986396936333875408939928370748097321203426419244764860736364264876733879900162100867480992633955860847505620258397771550354776860019029865561219663839547372299070064632873350151058964703106529643444197302396673489140365712530966997059428628042195872560764089787020498963173891735645325695514560428867733337135518598270737216648035779862409090798776446029235954422931943664606860767451871163166184699234338663422284310124185364286198627785878458052426782262638322686188267559850340159995763731849259940861467605824301060061760008051342183464355060345132828053682997691003701153234284874169735035940057333201629773562974036959822063176391528204680978399707290017070634496461195139009120227977280935775916623568580759848311275146830149537096488982258435192113452765119208175813503557643985375113350122029897560108409117145818790258001191989945648003427808885378357548148844907570397842162035844364763680842143659726985192646130436085153788450932842466985985799883587554410475149869785087045598765593346327619020411669957177463561646498122883567576659469429505053368501492111320333794222504399696490064378628293730930014514236107436306440995419536622322268004620227905319264226039799465131523285536559427345570208076066966698954014751454603286944801195145674895550795784488649560218035942544210041057227885098041113672077887235438478435762872808969941868123080550679716309354690619246469270681542484977589234013431414590486712171925665929404458987771679104180392593788650420723547117505767392974901079041890741953235614782858836971688942886954171106524477890607121427128213852650346722177749609255394565187150903068363702372726004667588508625443090245986133620753894598361629123737254799840318995069311133904855387051801128004974241304793708866478580878230904680604188638681824771601689170686448687531122457502706331404113304194482949708593013317789394082941375881671618426596971591904080241147953837280892078996942619429940897364323654974197185384240427605468280417161762242839633782562438130964893306433583200643884524006074745667903178571175240186849310538775267157942956943991597722600437906096138830372504308669783807685837825004111173468760125207540091886643504062515860771562177076038022969372133003590808908527491874370958257972880009818772381161386791720110191701227163020728086698022487923558695814204374740903259773244424701360063131433345311965856372454470380939070603327341176055798931998264919191886960150654064336667022411593950109658138213615874789941293849395004703823935184406406693302708603159230589670213637944274855521628156678001092563606445302725654318214803085485337712526292856804341573051115040391010180398780804450085901954819675402344830167126763915865670326494623728723657521705578542099267511449568647136599024118205803022320720241667755889761433549480711312305898699120700967294230523104683366481885688767344135159269693925500347191536399116665601303257881393902027038972961096683004200079483885042004096887041525528373217961617419798490177748732635500874360608930148720375518513792088509336610223865718311110591725374401626336892630301867719152709842183308859855942028875996099927008739305495619112758435627019507443721413294444425559406689563199302471192585704365908073339517379856727669571635620282951554663375036876199540696418470238303829960272225656806613159372976710275649866979238456419233025730256958763278500634374775344939336450447996304611332286735152994672346561711491108002842729437191253551046215753610080749676436004146980760991200520928667068152734444594882699622054741305823291791643363859552571839566324470634930544353333627665322853084753638651632991460602223833049620102194455861898699578032247684078378657336334107242571891273380071644515786041391386512706568953605054552454949342181376545012116367517784844838478657534495034410494797492688185436725321240524288468908323064661191852752346503975842512074209145641364593559761519373650175002091697576584887366811676129487982569157281657857324651671646258101918063471208267826762532986716990591082921158154294656534680865166554409024949875496953113427166837785801715287369679992851544853616196022618783570557827517020033944227698883669081653238222500321740340250332324946097790012936895716199876127263107312327211594176891394356826175138435855344432090285764883018658852695732368490940296490075763503831478990060332145152032429611684130904713718284693138990537003140991906033247257861744610438792317537414602770794642007340435441090865639583729321743466744101872093230025986671936801888429124159432545353790448786750278354526438069358228834500759021071836872235351325626124976028779517413709002912318252612796798039024678661524765001691246797818862073449847569033663786561601321130579812129461000195431287434345581293599301453228528700407800358817571494873332915864036130144949404341936696689281548630281979530087898504178615805241410755272167412702822045952512392905754578082404398118760645193375303984076808208624116715315704070938485667715218122617937694178803179929984549864166567580347069415042299549142294428576866958167595795480351762700103202623898073627389739519220045009405779584130446333846104814235784238135031384198335208820189453122824342151379514068768989034304188852724272510801872587798586521840215156904724044270511426561942849583186945389951467931576147277250115456972338940976495456109076533641112025662830026472796996253182875111352923811947854964938701479778692859872283002545297731721751092527299537457279896409172431400642069759447991395488158814821146382713319279150685077094419771673994191001280939441157319581357237934622598291405320639882682559276733257835347648543895679998783001932204140728482887193706830408867914492629286609178297943274670416175337931278319233008004269632657536608597141840767677256007546591841867405857972638588944049802135603890044561620887431127366983360238575068925690957149595525789544695918781958469905737624831243400593370189364276269654556247530105347812039651754375210048839428117510767831602855656069716342392917480336887158608649216407916462827248543566734897214437802321549169096708250793217136523397817461757642810809630328646656077324248813134255089979873574125609730696416962846093349731223265493345402431922213839075177501563072086013161259106670450190705755952510455985560032461870178768252613195974904615135318393291765327229564290517288009409783413104873602894574235076108316698443030538629861669479265752519776444080510120737484110120025412654669561836820754702241760154257811577565636889161770518909809125819179817836097192
Otter Time: 140.718864
OtterLess Hops: 675151784383
OtterLess Time: 71.510284
OtterExtra Hops: 1838994047724
OtterExtra Time: 0.165004
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,b,[0,2],l,5),trans(b,[0,0],r,c,[3,3],r,5),trans(c,[0,2],l,c,[1,1],l,3),trans(c,[3,3],r,c,[1,1],l,2),trans(c,[0,0],r,b,[0,3],r,1),trans(b,[1,1],l,b,[0,1],l,1),trans(b,[0,3],r,a,[2,1],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,1],l,c,[1,1],l,1),trans(c,[0,1],r,c,[0,3],r,1),trans(c,[1,1],l,c,[3,3],r,2),trans(c,[0,1],l,b,[1,0],l,3),trans(b,[3,3],r,b,[1,1],l,2),trans(c,[1,0],l,b,[3,3],r,2),trans(b,[0,0],l,a,[2,0],l,1),trans(a,[3,3],r,a,[3,3],l,2),trans(a,[0,3],r,b,[0,1],l,4),trans(b,[3,3],l,b,[1,3],l,1),trans(c,[1,3],l,c,[1,1],l,3),trans(c,[0,3],r,b,[1,0],l,4),trans(b,[2,0],l,c,[1,0],l,1),trans(b,[1,0],l,b,[0,0],l,1),trans(c,[0,0],l,a,[3,2],l,3),trans(b,[3,2],l,b,[1,2],l,1),trans(c,[1,2],l,z,[1,3],r,2)]