Machine 89 Results

Final configuration is {11}^(digits(6035))10{z}00{l} Ones: (6035 digits) Hops: (12069 digits) Steps: 1319358 Otters: 34262 Otter Steps: (12069 digits)

Final configuration is 01{11}^(119440){a}00{l}{20}^(380587)0110 Ones: 619470 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is 01{11}^(690319){a}00{l}200110 Ones: 1380642 Hops: (12 digits) Steps: 1077 Otters: 27 Otter Steps: (12 digits)

Machine 89: [t(a,0,1,r,b),t(a,1,0,l,b),t(a,2,1,r,d),t(b,0,2,r,c),t(b,1,2,l,a),t(b,2,0,l,a),t(c,0,1,l,b),t(c,1,0,l,a),t(c,2,0,l,a),t(d,0,1,r,a),t(d,1,0,r,a),t(d,2,1,r,z)]
String format: 431rb0lb1rd2rc2la0la1lb0la0la1ra0ra1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Ligocki & Ligocki #h
Table:
 012
a1 r b0 l b1 r d
b2 r c2 l a0 l a
c1 l b0 l a0 l a
d1 r a0 r a1 r z
Status: halts
Final Configuration: {11}^(digits(6035))10{z}00{l}
Ones: 42105369786217394992407145901850488029412871665373193130082273084936154987261777303930927901898251490830833554211440756034818330418472765619618831935686048731154925156651482862764808307072799659097425478760605480093298100608372799885519580476117655755339125550574314587386177303355271797149743507822313882920516994161569824988111114899873452511734890330437417788312640218521091756546515723005994945622101497682805962777105009147905293930909629980649920031961488022856858550072552419251810061259525474122110473045038542672768496456678374755849793702776612248180704557529278410238343027675036302322894180827817146173945409746641598343431027893618587887295881976908048352453351811438010177840840955826494491680635740325678566400917464869761403466242177577560870786283331399187471063445669193997711716427588333169100853637890575266238141979527913255323860941232283321637326187896856814500776865033276944460533931373538482918092377746744019333041254058093752924387843054777104147498825965879404687538863654277696734957545259893192299985184514634513025296096977318566338664904474255240559110540473480591497995768537773097788573872204528126892638334178703927142507137911920299210384154848640685879801291514748349657303155664947133983711578657729508389555080861899188144029988188898410897107139048003774234311011044727052635598533777572758115316523875437712509682795417593058008064085394770972307450707431104146572450499330788769042082587453302951191641231575710719096913446099452685573566976526332592778128505790222331084541087976981809451029440581123312426032034576981608772625611329909336980656205333338370627897440546148410214252465408814477837287058716815079228464365217519963069978086775844656033280374517307492209910537274410043683200494302261325521132782758054095780234325824179286403310377549360392017611506401582686614978712157288321581818305471942209729260552672551455011195428635181010586240490449245701174214211202322960018013525123582015382577920230062619744512839502651370172997347052738986190515385277350384906102314302392673110417574582634295651390337832960551482555713003838265954512819872774683735938797535506888462423175234366103492495824420380581745926724874685538678522491214910736418780392640362815583093485487928823278860791659468966968205977119513960878439798051449819521332809426462965713824127016621086506501250336230102899539436383710180794761659782114078247257016544172477489178659767719834562372111109696881790893779627102691055939175702311660434076058328626553119811915653882264530624975807711782225473709526461163617660600219323302984210443735111009427989152519091340566116350804174706048250944100182285454814531362457733925451835903696679985771149266501320804271853505858485797220731624468258250896719765123881288781421270666155435339589431903507948674912659741688861155291766821743454769860279615631145233643563462537540531110917645526286563333797835243137041105607284233658282499016531453431493250644200868378680066900927893975680181747669647591704939111402354837430321021607923844213993428730736437502980004678971653532922521111173555708762449212432515920181421105224544360012183022515239050308884831412897304015123607254693807507551947702768499577273752145933600127211387769721343243015891941707983943149150192366652194489268827895171778703611883264692224981772785565311475647306737252121828092880586273520221070072175051149517670718676974641190192382475665457069892242177099891576819476112599807269704345890493292429140610314983228419782232427298854239760956754320248507697018138765724627232317593910772072899921333902965263193607643554734587470928683903563166874925111824019532511053856688322100875362058427730865507385352223908185969862239849047405425816714350400946704425201073670415814812619814460249659440881694375481043600663260667933207215485018027547924616764315572533971451598956436120986704357208606828849616200022211529082966488127940732936784017215099476496665561202392060285187367259237278549549803859717455249275499380280614450136750533160601994636928227880576239716225529820072094704041652025290095494761600350739453767530733201759380154942959063775099530774977083820350676321710134178196114358371684473050217720081342771939988880484885333256656985886489023407005983019776767450529562839138983214077658055676662992118769637761422766381600483869729217255568092863614356591187816725667438943385948054269428074232577936541052803696196817256112972004228136103782924914517548806807796160489377817445270520113482899700406901995034996823607568134804799011790841222627799779153553627643551425736671929545506823069931684478401240613081109165797004485173291923441646955059109815493969278215998526078957421825821012313011228630804032648279196152275357975083100325960355146123822115274498679629632328040769846197376831451714505314611286421702032363064712874841689128076242358593827970751342113433910100283243049293434994846258237895675454667290489587950174692767659361104356078979024020374531390471147571110447278404012967467504139801824671106040005381103169422391295643999960823343730338923961415219379165176088021679344592449760905347398641240537419491918207421897203184835139546412087827538434752275250638124760731132108384153877148560210625650761996893154904792420855963513752251718568773006526133979959220249940862508049772193128208409460012740148506913274978678322649495953389592232911027849327956717963856618052431143562553883580822284367329440078587589078974687693789692324133316379970111896643923214542814485434404727106824968436788758445604295612595411615629916791945390183060498941272486824984825221232666031894163053980852459915562264117972418238544126198891136291192285291000569092554913460534174678824140472342883738721465663109266901291383013709572166073884760491088355567969734511125718712493092997562044742874240185585869039329558024092638290594015607847071589520510510420818337395552497008402458110470702618808626876726313697730656185060443350195710946746320729038100744282178581578992091451002557969555704309635163097679908186368447799552535503261292492031101938800441035666785824161
Hops: 531858649450232603665770702454578667005092345677048247429991854352890110022399728235717265159353737277400875301221032549188593276203140031706494587440588990480163428630894550851983225599872371532877858084649228827989878860519698900029078227557755338616068166772285273489358934529216228624790207892636705681434013552615878898933069914125353014566258895465867392006666926841462766878909393332377958934426704229894540312674212528512770375402682240401398015284304825454271612031277054460588585200611845773045542848081986926083535954331505549080510726114795615123023802939583622961372648841518293212708514766093920049065836966855154824055632445321662191351893523027356441090607925857274743319634880235687623181499170948334469309464059062750365734725397930958348884290640099218554094591619708297400705632019420640846989776546005263232381987647147512926221355977972483932028669283171426023075986873504363502570994095871949089904162021503032274720706257955605790835291529954985347234422973019461524699798545768046369402025185780414215628151036082118623095586069067158548120943976765233146470129144793046382171576169861429722562568215412493243293958703346780513672280289644375654336189968553206431714841725459426815365408891390115820424722879756111512993383438350024881134104301850886393717833521172538001927099449953657905297484087687164967218709269316048583160849082634135217989851765057395341494051650632313026977489737299709001767875065172893666076794394862923235634150191678852111148850654147224501397725192968677433492995544050910437503984589192553557124865929672814383290845916156897112071156231805560118685850147969677860669137789582291898627068242881770013382891572283647479938588908187112971332674011978900035329016586539405202316860879752521449245906779685575161110068023054138543739371741842862821351356411747291730528682634432296520451849806159095859803741332313442068151428660021056168346203019918012072934677917853249550351347517982580215841305376698800271427576657118565074511196047877619983640343835191921725590219571274056989350006743538300600086821508508526446336030959394627811164297690138810533747351759342855861422365684123372360535577452554719626547914258023540852999832662335159122476313900472255981262813960548971540550251695099908934693381040446377810832049133545531737013460231820565304392317588158291162356152711290876896026256008262172297287204081277915200484001767946702455561190583647839003225677637258016710631752827269927216845471306293170594843083736339237327580065044189250187839788463669991038848860525023685968388599810683763014976121732990444031878389663853397647702791841243846415388066401512242958529868019261261070241753488263064426876432637916121964140346003847660656632223080274473004232052069383143827346556492843704845191354099363723292781752362761406495580848680278877084185637795960656449419641958154083529106181975723857719442049419097337449864974733073101760832542137573175641593267430331683607572260821301207736056539278083698573111960327183532766590338479706951321854334167788038659998490756899174121305989621073216251799360157836675850590046482710577024478570054303662024487135318715675733779903110322709590043153786021852967724765542651421854253125703086906251632246433073237709434979412853656900562014063039754067952756216590883946798996821186870117762860460530634823873305974166580838088605775905771401118140630942218999488992784100728487293382119086074950862559927403872650928679059392462670966341494006158279918694546332301545941910398678065199609629708195773923941835907583568458188659432880606828488069814772653907242779431180313296941550010998527027195389807489302851859987807704433904029507732232426066548220512080853027603716323508616839498899488545227089896314657287903094956973854564416743617777290277428891079883767456244901591794561540021885061393466315021370232272777846913156441556991581565576482506783566342808186860293582235529254824544043464518303225487490357467952048197864205263025177594440602963476759739048702396711138829994971512227510078018679365755768441684574768137981503618799864310620722924326968925617650202078579839583684374994646211785831864830353447820438751562234134743810210510223246647615677819781236389389074498148845486519521156414025905470038753970842260924891684186611449760799071339603098990582952690641728298315645803215475371360766010863600727879466285969935696517185743135967847681119204902455948669976814752489571584299884202254645810443112764323151965907332012843151333104424808714093640596290604225694931719581332110776761911376177140175080445461163969537391715782945474089905685431205350734325960696092758346290538923979877728539715499305324923499486226525469915796386197000909299983679898898581534866958276000333346593062875150550106196659448914679953655073176952508669082561648203809114163824370386338871945463429525574081756702641929805347485149140735022821908423169659112312587388958092147738914035127817478750091326537256598636332647224085603460185317645256829700919916349955687292506112655181889792457275082339178470961313561425598642431302522742892659068473302867830136750224688064406132538809730010408334639643977997406625036436985656706489568172169884281113615544130428448688494863798344489118348551363877727031353678544584371242349129494605543298612790536320101167991251888906217145013244782739568654143873643402654842926265861748135113795005659377537861931558445348328045060473597907138984974781103444523320891255064983532381271062590132087045767027338195901109185489430445451065139437822908800428691243464124872323704792076597395283520873334126136648203282892239974304939547718776076830230647899683296336968930999112020970665877587519080446066783526548426240012949818564138983542716779699511766608783337643368643074690107839638667099010652064373642091958447053559880585157481550265868272912784844345868616736386319736525853823806037455737400310654372684868140492245175988137561721347855269254570974634761032707346816140195148977625915830207042924418390204352141010254591957957365056844098998383012598935037524969404727135895103232809898331988067490390770765121800140971766735490084301638259936775865837229970959781669457139811799354515639907500669422808489893157161403488806015870393775697642910053450177671738627171932095633732225820657545097015337752240035716900330692673845843727128959809168085434117271934998739561205264923093407106026602139485137584094109244425120841410775338931073061977880638492910154891043093944923106119858862837373415905235075969990691678348862618937452914709248938397352575262552507559863436644018631890689398026189360330091410187390404781507430362864444106059075397724102389441447934215966406505027869491709925444347945162007654095772910141508956479330187157808350852225646318350528058709200274494952369563532504429570173161225770747158969605479265797937422157327714858840450536669286335802651894278920713603179695018508848163370205039013432584638636414014694821317484607524471346641980159237688029685708488209280532249881905147657492288702401410121123356285760663852009239803428574617906050365136002666035771191905914008767717025265847610148568112936874286468238474542773369781622945795934653965970547399977526382114383859229461445792068636044100662610602075918421298245743507455908734473880710554094545862919913520975694399354290304558229543712965281792128188049387384352245216266159025818588287855169948093463186311627427746223785217436910204572472288093778095055927761455398276449293115492918917441016189593000174893825712190757245370362597264529046315250229263033989050675403047040275590438656522627743814667067884292784443284061890289749758601664631930805952547588380274305057591864746892971318206196009234805666178316729658961623300992169275906247076776372916182905381315173146704219342758802980829691510258823973117140528252809183256898542887275953661257145508594277729147992661840741065573155647377815530077177453395588606402461552541012342635704326368896571738986300225560831891101487089935330641387307479735319483438261524115498494608778572183159065872632284461796815994931744299441521761394623874328323702547097698454985405510311096777253376004882098408564827255287174343656768897150327370021934193495203378702588044328454214990371709505272728949670897601702486786969068668948257842378690684744615163195419937363366955808050764682855622277894548649208090669768464489941720576954676365112334007832472319225808419842749008130666506536333688146130350797944724679653447400213329455961749257806063705888227380678840071177497026655809595983750010134991931367116465232662364036288924672040013408217048473532554380516774890789856121446505715014068469054312280813052864224145640545103948418776796516950936214870540701093623334743625245122366600069664108915057299800723964029645057701735476027438331939685358222676533256530889766847156056037155967216000800538194578678177746003099279958126602469368619530268995520413721889135602847170492825249898671604550462036812845262649793832978100696506471618148960240477266504355529974648813889723889490902728110264218160899293484719836811439307315140288035389360503339645537717028766038436774090563765066720803019398501124855228004808844175791179944999845197452311947196850075126931195889237272854199100014214217820424852778941058477775464472340573046496542929702052932604304841829747398681832592556501677078268066829473180477978954712164129716819596901481917589301328544701814809148393363527751264567988338227251926503592922382583335747051157601036990567265750895294171491722506546742107026713311782328943770630571337220305702440276647864943164342938319891561896428037307268207704347956456138312713403169207124435796847578964696506202428154422138139268168566806267112584691793581456802212104622250077466857801744654275622212375427005226451092872358820260787643897236896962137696827960325131283016616360414930907137857862082435649945545623359521748855240510293316700448622420533642413752514259651591545266910983753417136615570849050457908515816608976495732959043381942128811414863903904975338330597658259996886290140962221869648662247209192969496603884663674352444434112237522939716038282567186761687686116013093114252743362596757224472504350814313553841667989384712003615128358114812450962146777188760982893122323813585659440324089316805702475348944785447457855986175832146859350984792537535238283231053004838137831816992726111885791453115318172978285612920859307525738287570093389231166678744567163445238831748432109192778301607286062862206950175278283056481755606201924542940695339647367308813799992468564051464323414547991197580172096382754362311427325652194271988704768445860309152468876297370655305247148088882607371640546222395055896708819861444813289246696245653403721556388217936646099086120909049571809279924499572699679086733815457074269288820834460066090883890094524500337063236993284125879842522802810745538551826023551749471512621986571569050221974010996559257788999596455979825282754490002416892862685832414532924327710250134476579930201122152607738633339779896166812224082697418524163702912440841377458009678610617566640564765588713191584571855824410173041565886290323368446265210745091648376717663443374169450076862375304819949271049271267445295358720666654288978465792220760493571212858136850235377178615663253111744029463569902529469740131575344070722774649511364334141291104273079952622919084214386264619430203383312731892934699578064579687875464458550950414360648737284410845224203582565919041298700442068398229287622540968703690238162680366055063088188537697825388617891448919778118703056465377969934682497118036300218555277401729972727391947787634357090776345984019455680254678402691871622141200507738658310754050309628218657257916828633494223071281744712331168025813963750074226270379670957039089984089530262267484650532819532219327652485684344725538757641822819357405295745193801532738582460706471945197810386415556978877523416053790933007665590721554937986527810048320028803317803342342910120838104671203152308052404002175923148918208983177244188614210537849154958336147529175483562959219100367901323670767079817365057963226846757536788982993339369413702735439861091613
Steps: 1319358
Otters: 34262
OtterSteps: 531858649450232603665770702454578667005092345677048247429991854352890110022399728235717265159353737277400875301221032549188593276203140031706494587440588990480163428630894550851983225599872371532877858084649228827989878860519698900029078227557755338616068166772285273489358934529216228624790207892636705681434013552615878898933069914125353014566258895465867392006666926841462766878909393332377958934426704229894540312674212528512770375402682240401398015284304825454271612031277054460588585200611845773045542848081986926083535954331505549080510726114795615123023802939583622961372648841518293212708514766093920049065836966855154824055632445321662191351893523027356441090607925857274743319634880235687623181499170948334469309464059062750365734725397930958348884290640099218554094591619708297400705632019420640846989776546005263232381987647147512926221355977972483932028669283171426023075986873504363502570994095871949089904162021503032274720706257955605790835291529954985347234422973019461524699798545768046369402025185780414215628151036082118623095586069067158548120943976765233146470129144793046382171576169861429722562568215412493243293958703346780513672280289644375654336189968553206431714841725459426815365408891390115820424722879756111512993383438350024881134104301850886393717833521172538001927099449953657905297484087687164967218709269316048583160849082634135217989851765057395341494051650632313026977489737299709001767875065172893666076794394862923235634150191678852111148850654147224501397725192968677433492995544050910437503984589192553557124865929672814383290845916156897112071156231805560118685850147969677860669137789582291898627068242881770013382891572283647479938588908187112971332674011978900035329016586539405202316860879752521449245906779685575161110068023054138543739371741842862821351356411747291730528682634432296520451849806159095859803741332313442068151428660021056168346203019918012072934677917853249550351347517982580215841305376698800271427576657118565074511196047877619983640343835191921725590219571274056989350006743538300600086821508508526446336030959394627811164297690138810533747351759342855861422365684123372360535577452554719626547914258023540852999832662335159122476313900472255981262813960548971540550251695099908934693381040446377810832049133545531737013460231820565304392317588158291162356152711290876896026256008262172297287204081277915200484001767946702455561190583647839003225677637258016710631752827269927216845471306293170594843083736339237327580065044189250187839788463669991038848860525023685968388599810683763014976121732990444031878389663853397647702791841243846415388066401512242958529868019261261070241753488263064426876432637916121964140346003847660656632223080274473004232052069383143827346556492843704845191354099363723292781752362761406495580848680278877084185637795960656449419641958154083529106181975723857719442049419097337449864974733073101760832542137573175641593267430331683607572260821301207736056539278083698573111960327183532766590338479706951321854334167788038659998490756899174121305989621073216251799360157836675850590046482710577024478570054303662024487135318715675733779903110322709590043153786021852967724765542651421854253125703086906251632246433073237709434979412853656900562014063039754067952756216590883946798996821186870117762860460530634823873305974166580838088605775905771401118140630942218999488992784100728487293382119086074950862559927403872650928679059392462670966341494006158279918694546332301545941910398678065199609629708195773923941835907583568458188659432880606828488069814772653907242779431180313296941550010998527027195389807489302851859987807704433904029507732232426066548220512080853027603716323508616839498899488545227089896314657287903094956973854564416743617777290277428891079883767456244901591794561540021885061393466315021370232272777846913156441556991581565576482506783566342808186860293582235529254824544043464518303225487490357467952048197864205263025177594440602963476759739048702396711138829994971512227510078018679365755768441684574768137981503618799864310620722924326968925617650202078579839583684374994646211785831864830353447820438751562234134743810210510223246647615677819781236389389074498148845486519521156414025905470038753970842260924891684186611449760799071339603098990582952690641728298315645803215475371360766010863600727879466285969935696517185743135967847681119204902455948669976814752489571584299884202254645810443112764323151965907332012843151333104424808714093640596290604225694931719581332110776761911376177140175080445461163969537391715782945474089905685431205350734325960696092758346290538923979877728539715499305324923499486226525469915796386197000909299983679898898581534866958276000333346593062875150550106196659448914679953655073176952508669082561648203809114163824370386338871945463429525574081756702641929805347485149140735022821908423169659112312587388958092147738914035127817478750091326537256598636332647224085603460185317645256829700919916349955687292506112655181889792457275082339178470961313561425598642431302522742892659068473302867830136750224688064406132538809730010408334639643977997406625036436985656706489568172169884281113615544130428448688494863798344489118348551363877727031353678544584371242349129494605543298612790536320101167991251888906217145013244782739568654143873643402654842926265861748135113795005659377537861931558445348328045060473597907138984974781103444523320891255064983532381271062590132087045767027338195901109185489430445451065139437822908800428691243464124872323704792076597395283520873334126136648203282892239974304939547718776076830230647899683296336968930999112020970665877587519080446066783526548426240012949818564138983542716779699511766608783337643368643074690107839638667099010652064373642091958447053559880585157481550265868272912784844345868616736386319736525853823806037455737400310654372684868140492245175988137561721347855269254570974634761032707346816140195148977625915830207042924418390204352141010254591957957365056844098998383012598935037524969404727135895103232456845630460413489736101064958025888185903693873085476905739872268126959364915583000629518564937724303159143022335667529930564892709910482711731639345719161098167534362302504504524334766459527878497110486026125116717917065589791299924233668267403982400093238974035754185412644748722648576261329131904718286728199071242631513116624950239073741506545713238518442340718606125368794681320505389033743190924171866965109489470829037475819302277139405075914728213770064797420591277505232644443909965791224841326282504247038591911881302798325408642768405373180605103504011235655362315968458814677682343212034289579767759306436696363675377638437180792125822675826041357699826290007282815678511008885629951240819280521552974421802603917801653267477589576238464339446784062678228463467052255333970815761802296514924340505064136886487780201985144652492462577484003095727316845409919546694563173441389554009598664650615034189440192575231057443328670641603182560997582551872302537573705402978794007960934269433242550939483801123404622824081096113258640776101955591127528854645844553203636038318505032700528307046358637864642303395162916011191641230931528713964405010772230024736253876916936167448187496564231633893104856410207513212110434016789091606803959317364182846676265237473434434362472001410266597163568122920976748255901429588660555468546134715776720918347713882673211926604390957056554156046026975480760877511561841017300794749779506120729020475757437057677732263540482791500156511254029578990483295466178014663171050447066440287153634537258354020904461340689285065129039286139175196635014036880638150668525608032109714278729414879921163196665800923009995439053492794647614137458329903426378500384584520638743036574670878501797423561593587035234864130192696604587912122771258541491719980540142897683830234193785861972785370984221192563208457900763710683312826208961967794605326126545712387609817115944823153282635918993851343857223874041201580509947647978569032605793193299968378336320985027517672829696810804938683937009238978852911588628251532078395626250378791977850284189866657038546139545877294905306018531372099782469438227646340002935850742122423628723476384453814711711672269868404592826056848609589750897530014299653061152365545500720670170366616160434453721380842643361212490112161095973710240094147726124641002146615427199080265452942374865017821881446726105050301869079748394971057561266480083577241279312156864431159675979834905813991425713022643142064831779855787270667414745489825771678123036847858303247649608439442398463311736961695272996560846705014758427938183144528639893398722532587888907250638600668476288248402643085483318211852709936848500266052129644975729676849280623083622269291559571037829531695553127002859877159910158578328455857448759954543239460047883647651724681824171475107471175102985418957944129667126152324293111273820709611638495411625022936104474018967414927347721317285507029214061653086249738097010791411783597653003753218022293507221623691877131210406661888955070850025231230803680563017695676066307345930115575053222748593745844758511751014713582436416520445362557918463467827645162781212159953159247830308515222470907952486624469449717394562190204977390788059772143056676330633929339530613085968940775884547193886420114980554430148507048745661437344841395841430331319681684418725002807605143939501036947478535483911218580238174543632734627938603301008257665763273232702634067307512763223489417934702315190898413324997503802536557518318371073194420581939902639507057976235818412957565660109456000749385072075016942394291552614333544790494219145800369029624059938929881952775308283510132722768826199533405016703416226905586916268404291121928632853259774497518352461008664151753928617515583376543864079161522837270739953638779280685458149918201284401606126690422262512054216959743830050348836089635187897699898035473924990600677172789091774370167879694619990258744765788265817608592056174835391757519024308473259580165612601587687482542339654792300922932797946514349021518125296085699797907309380005131599280088446956440373129036861011735853088301605060395902685841396518149282753175774868321402562823459374467328512389833910275484395803959030504106592275472008264517599209616562167261780757393256889827716368451616346322292955937151432895844507651235930393816830000887506015921979856878080878842072519047521848384107314333304602466523758076817227250595945256062034370715858022006271948213993124543830022374629891332262064978637780335534191712856955670584277235521555151880294010707161648989084076169065914996726709348168087543486480480253838140093393898437910178485715657683857122617534456911030413046079649031510425045775958655202086726682326805909707540798960860849516617917955578782386723945142857166659236781951045375721039524714342035663089262670695481778278181171053116163245851240842430141936177825902899951820462332264446498418760807631504417810219119350953931767828694824196142516164979285673365599709481337179972176648219937833389748689516863230010687605002554186277528235840472215007578761300201532535753661551270394918113350084436091546906140468361259521478736531402851529076932024772834373953774456955360776337986446454890343359140358181876328031533909247531202568461735255185287109744401453077328813244261043452528514833312835377653879480982966265552779364797458789592134129404884226680767884427479635602791004094634120518922630867134303305844500332609363973803530586740433273609155417443664392641410613842893842056906847621918188214964910215919573920963893279791080734098260752401859398575922556573546031190916573727009013719704653114824412740564059175505253102833076449922543906434031555179534181814389797259404534785681439992711438978668446508113873459419776412287678399892479259792323299722994378224956297551215508809560025743828892576247037791917695476760313364207596681611822391841237782388250838267085086202375219292656069753740097294647738521913068017028354209225447667368337401104733980783517124135876798699580594536389700329281320320044470709049492515799763693678239642275688
Otter Time: 224.817480
OtterLess Hops: 263673888618
OtterLess Time: 75.486583
OtterExtra Hops: 571860252666
OtterExtra Time: 0.155003
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,c,[1,2],r,2),trans(c,[0,0],l,b,[1,0],l,1),trans(b,[1,2],r,b,[0,0],l,2),trans(b,[0,0],r,c,[0,2],r,1),trans(b,[0,2],r,c,[1,2],r,3),trans(c,[1,0],l,a,[0,0],l,1),trans(a,[1,2],r,d,[1,1],r,1),trans(d,[0,0],l,b,[1,1],r,2),trans(b,[1,0],l,a,[2,0],l,1),trans(a,[1,1],r,a,[2,0],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,0],l,a,[0,0],l,1),trans(a,[0,1],r,a,[0,1],l,4),trans(b,[0,1],l,a,[1,1],r,4),trans(c,[2,0],l,a,[0,0],l,1),trans(a,[2,0],l,a,[1,1],r,2),trans(b,[1,1],r,b,[0,2],l,2),trans(b,[0,1],r,b,[0,0],l,4),trans(b,[0,2],l,a,[1,1],r,4),trans(a,[0,2],l,b,[0,0],l,3),trans(c,[0,2],l,b,[1,2],l,1),trans(c,[1,2],l,a,[0,2],l,1),trans(d,[0,2],l,d,[1,1],r,2),trans(b,[0,0],l,a,[0,1],l,3),trans(a,[1,0],l,b,[0,0],l,1),trans(a,[0,1],l,b,[0,2],l,3),trans(c,[0,1],l,b,[1,1],l,1),trans(a,[1,1],l,b,[0,1],l,1),trans(c,[1,1],l,a,[0,1],l,1),trans(d,[0,1],l,a,[2,0],l,3),trans(d,[1,0],l,b,[0,1],r,2),trans(b,[1,1],l,a,[2,1],l,1),trans(a,[2,1],l,a,[1,0],r,2),trans(b,[1,0],r,c,[1,2],r,1),trans(d,[1,1],l,a,[0,1],l,5),trans(a,[1,2],l,b,[0,2],l,1),trans(d,[2,0],l,z,[1,0],r,1)]