Machine 90 Results

Final configuration is {12}^(digits(7036))11{z}{01}^(4){l}00 Ones: (7037 digits) Hops: (14073 digits) Steps: 1695880 Otters: 25255 Otter Steps: (14073 digits)

Final configuration is {12}^(58828){c}12{l}11{01}^(655452){20}^(5) Ones: 773117 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0

Final configuration is {12}^(1697454)11{b}11{l}{01}^(2){20}^(5) Ones: 3394919 Hops: (13 digits) Steps: 1322 Otters: 16 Otter Steps: (13 digits)

Machine 90: [t(a,0,1,r,b),t(a,1,1,r,z),t(a,2,2,r,c),t(b,0,2,l,c),t(b,1,2,r,d),t(b,2,0,l,c),t(c,0,1,r,a),t(c,1,2,r,b),t(c,2,0,l,b),t(d,0,1,l,b),t(d,1,0,l,d),t(d,2,2,r,c)]
String format: 431rb1rz2rc2lc2rd0lc1ra2rb0lb1lb0ld2rc
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Ligocki & Ligocki #i
Table:
 012
a1 r b1 r z2 r c
b2 l c2 r d0 l c
c1 r a2 r b0 l b
d1 l b0 l d2 r c
Status: halts
Final Configuration: {12}^(digits(7036))11{z}{01}^(4){l}00
Ones: 13838421172364398890228142463062007764058140275037549758140908934232935053453068915284773623433026110488085576261013552771345106984480123955132443438779790724904109181512474390923630376705742278143222468717869745931614063488470398385735427145848782714879322805319921531798471338452202297638943269133208948170759076166230529171325205862028453523561070835705741075576194781456323398044324896133002173998871073258849516895615872305685308333910625178341994443260887589168699226460322751907986943626072294165325708756608835949314854695010287723486092347301340383967411096528934459255738282335141973807899507503455484551882151326088537242587822206602948798411533201852882540194474579492130633794130206406388827797142900368199740033131075619526060070080368381058271057058958226374040957609684029831160805740930275938900238410144878891966086555865233247712569803724245453690764405821433812048476351163328040880722755003633302162107514772004458480152710331915732815580134935905999838689665863984264631682597608994992521805818466669262242656996318933643506708449053442963821471582648359376152297106218484419082189279656208974558284485079078203321359411786920634053393572284829066901861663660391396050534358039812285691247079655831419826939297356689348927206874695799426554619901642317230885347029476574846720419279135373688721888230127943884547174255091122843840955063499616686327564721310238569528682253703157036698088348949139937798011536903751076059845430318616735990361993780438482785930023559565072511104494462074119551277002084889078693989881679081738497418031427620076839214873963408802225081033932555937547231401826000251280637948091878532143062576088646218116546751665424360015859216249462634932570048877176266603664520275958294167241559033222970301738934876108304144230409631877749269989747611114527473714799401528459672275506886336121708231226493728462762521823693200419172806519447241576464865900278181457777760456778548212149303036509033067989839105391671799357120460555505856770467344834243521445872476685526010309410819471034784679634261727092454421392116461382431376266385729948052305716542482202128068228742646210069022898040924714397703269789220929405959615008475948787492713423999879543380236617808034111326846498363618773908250154979914215544264556516676883533849072101043709640752234309220308600229175960593759057444368670195346410235610126452500397414297592076177088921462963401811037618964408515756922686825409028646338190619892164324265184642886996700757602731564022927437448515420937219573533793466114659157723147796596200060890367328883461960603665067288784795475023125841271495987305571030108151032314201537639235512196347751784304074729530995413639809017555072138423804574630600873089236745709420282001462570191552674732723419186923884049866039831279460399865758011504395544091803995852909965837279899581678755280986497776793629744008411358414009193623843821579120203531485332061284420641259053814462309718920746551308908324773278377590828956269819596999803830486531519209501462717368123928882545201518430949589544099873839348377782322873450194712162273121235812229702345665142324120259507036160923440827804147552497460150324388900444836784745754835907509627683473803548083668868337408285245844801589412391646041844322800190946652608026536501952584909824090505777205789052590254088368172537762251972359383457963402363872513413824801281419435105352916442482950319260783199939351019424918916229556401099250274341746789167763847441885416009368759096787045075148360885980582773129047811696169805509685460087312968624030329359920384580717923674467247092723021120178700233849900148527547175323940310437535903094025916597418127368606547154393037491744852968823326363578358182963822868756390435001860052606482810613336753027302260605374097205372352174427540950417011998983938495990255262115355103813669518599049264697754975195360310743717291058131374414538456486288558550165251058240925949568095939865759255152643310585585445477091507705772551826221019348157600095788562869928489505357638398017054406606857147237783356315154520865850602033454935774149073830489038850404432176691136134710867022605801865532166720937360474746528099318111746273186663075032552429054143082854344848313239162604267199821962112459876811689288452529541208200412149931077207273195454208032950463754883430448752478088693507070474773200506673660670381862346451591162231083585029396701436993872898621008729485388623230544012253685068139788723484666299375820866449814765680935415557425128692673444591394290736162911939655406619320189017008843422743076696887215443803439127697618104625253714620844298147814233326049489921095944434876955603134861633646398623667035526172315900745786469306159057469114180605812887175354901755085771786924731445247288720841024092545403409309657091865480812629744197367965210395931666563162005823022136845251764679514002397538247459783054531933792232927470781641706135750872357603885569330294255710816436890815818214388934714530332945375214253696759388885322062756671582095847641068632732077252547103496133830990746930906895086008141781986802953967326807199434963936268364499702946143097946347765721925334179188254437150047190939609868713259334423677434117801694885243937239449204991420414002544621700568978620364819830200656974971556696466838611305353197136229654567699735096888136134622285687909904635795197332748814438027698726199588543307970303145305166384849682167190593759697230763559628486062417243666802263184853073938224062539077408853856973278042234189886183554341947357238815067627802909816463342195329190597918961411595022835772486828520072389621320645720411151607958840139499151360842169786417058036295928477386678902684172012260410097722152954489094202666080455373429594861246043316575044719614691414755642928963174645590925727533395417163411725908296034732964248482175025879631785821628819324951975279021041803431896864891688162774522984169551553171272433670101348509164797306721978592166729660945102585964953630064763152856677717362038469997325855237281111973668018535699207714962199793328737015941110160700677234263302803536360804567888579421662184365215651037291357809799663305926146442107496419023947287871890403165294366593485799723966121029691539427226791888656055663077943548057794384712809838662236021401007161563111031792462968234179974366006231508927953773484506341318287285285549164447992293522075021836012149110480885109317027442544418441699569364837614293012186749840089761774877428168483423699964179481039026110543892991584865534231532927666309934229907814100898420158961860851099373261162313842115658204406827339183607232442077965676394956306194228126428754559064939184228322951780403390124849381318850130508671327637329930540703585491644296909627918454334374279047236565806043785162626268074670807801045360839743242091737410322650934384837130145166174732873751288993654885461550496386441818021718844702161754758691680786397805716733541027656843077842512021845711582899980398905935526223302569976778671483697126123967216242070565162262865887843601003979668014488808573028926915398767102040971125114
Hops: 102590303862719605831770882692859929037105251939084678216001300936372459341136321437377136832947622294755935088527048965191342220762061246941164786191467969978493553515646176383038342459898576057440515066962289869924233419465784922515608591797855433276801890430791964241538402236778478943947074741483470635748162421147060840280596627089689307655728240412730912687931734014166096209066619858121208986951893180183394429684528492075687677644962149971941349353520109742192349163977172130358984529640599000058508590395854635754411605511063999754680479695263768114667560816325187914477915473290715552274171587967150811050526326553858208277767036871920871535766310524977210408565360371602995917227965998042686746798322029007674394989545197912686146245463214673952520224040961915479428271011402526733204395700052288772790665345759381864844707371490396824241900079482847978073101099158018648468229292115444001138412580176782183416516619888445463639790225529843906693708817518937638108379224291358216385463038593865178633914459210817446851801845186325298033901118885815693355849126440920209445299025930152951392291754129795409332309896751931169002219968858144346856576610780881398716963067306314906216978373876138125573748056750114548760663621593049138459537463746423157478227409143379698147405942704961346262308224927678642152052213157804668378759966926521555749657823193856006331581657468717235346171504169295218728423220946664792633935028776700522884319159809064974203158342940011386915262158646713161018723348323158449001689593565380402762326625625418308820413751951972549255387116475317079294572351352636365086853356715079867197385913853172191115853486825497438222877812777007635839922898195183906056438513358469343474887244783154113599511791199716757455289708201074724324514350891113335861699443992440047063617793629791025282515453160284988600073608783585606673187323741550300896783776681423553814957189237737661567450140400508693280711517813467298397731254041848466477166187929502656048406377352475538130926351142734288935345196395537071314807739590043290534581663573032646088815947622110740329105259470474515709851737305360950381328402573933177169018995584492411632666654330827158288987315627824681721107157113050119659807393229517394164859853833119908575752224763052364849874241526723237640483897955793700800003045832997392479191367355839288737234672086107856827035623766588193449920977708967048788470554341350298919383441499510958228146370089212801735254973666426597379527358463313688694651963473431714475241808850889839777864495954017705124585489344764680198255910667517490365302376359963630586581874192988043859663510340539777049255316081570599996673920759395536599500941265522718354893884267744462627581084637414174152320088358743767234476337662635457977233856327726539113321065140032649580966187430540155534437391795144782764770917860567109109514889636613895056189633272312703480194450446580787625225819089741095115901775385227836971955454688062649304350164913808646869248016841430019975780106738831146666984773741010732138778375479479466498949489045352501053572435841090980856290359840503564410666175976193371109332447389903670126892227812849080930676110274820926817225069462087114272180785766212823298488020136632250684221451530510704917039554613907643124235856345177242160133064561366808361942958599003903773186266422977985371611896540277819553428983671577293947092764076625903516229331561390946593438034598720154770459005973546445196891936255780361904760662770037813216978945727375837715890873032100415217658736056903256719283024511530649291239471715544608664679099804805741140531292837923894108022398482550387844623965053582996750170143041264357309254879696168251618698730138664127067743430203555155799988600089124029958913214472603243983401843978176499383366080004881751815820678566703751307696830816513383738318657870754159931400417586031190171862094576325648323697916597451259580854400780154060180349332409815998587976209136379060014616360230778210084923092509071121234331511968396772125456471474970207167472897954643058472181808427911734110347097721953837123727397850178622768878949138124451603219749073625124331535185904882512947437457166558218824067719560381820214038181559766171645839557736047449782882398640580142496276849414177905024406462094478464143149531337589905505825798714999018948330356442684211107236453544636185802698955166726722079508937360603753271240452028895947178289737849093079475366247267773561502362802628247113914238271813955393600448171397022684995625495101476715712437913238016088486742576120861901572136036243976768846395197677435929929319142586068552783583434895344039210436456042492375991806148670103028865948062294514519842887758660043216482099323769447627284514594752578231803612926365964940761235125555467474769230878967231634568916310903173082531372791513636308333998011008031040421275368522262114012723855478570398158396879651490304960613110264190535484900019684744189811486700323445648655708212286616241765108491759436472204740421420282683151559504118622765460923487645602246237029895051960784464410851053746231575054934743892513307554746406723314096393324627352357678675807978986140319840841531341228803338389007281558373673335076206593116016469147004405479307739340171297461905548062922759787576047131006652763639913171420412881543900419211355146785260453401304663398709555442964439051622250073911728510537365801327257940524498598406058075485062754076263409528574746521008085648278525577752780934852745986087355765880731468390156242214264122752352465254111368755200262988246724480482916053071548860068781814778933169753036632921651807900931013052964124813216772620561957413058855785747304278636300126560570234445516180383973076738881897029012632207471914492317465168934391665512724446561871075832679778130779910813052757225423703652600346794182546835969118937472539798341708781619882293671804397723108959293281211031294303829010134794958286866224342188179058887554922075231588888978566459497042459144838747941320937856232939167425230509756107543261054363939166629842910718867301087644218370537688762230697090680667173910496513208985067680032502725137619651764170667677923027499850954502895201579509898096698759947349080054687247451972829920080308187289596237716081978716446088734842570306892144766176981795617817965979413195834762252856656631174527190186699676734168293163091758130786119892508299027207701975725672553148006685095770560352379293424376941492397678850090954388024768301121605825009700521115895110818592710500684377766756472806918200262536889980891875587249878692745179356658420027308669657043738849539605835412757136494914307890855604533884486385683311350970796069532957513771072499796702083862790420686560635472375855308837156004563248971819552953101220139459231265828712434845649592064535871094019073870029987026135733635493905254688489514250601533562934454194132319836029337061313913399694089936921140745114930939855506525475602772270773116724137691684975832530057937358138774018701750014714266102477697655606947907640049227855975717226503370362654899466679261102837526573327890844723693170271876587697264316490742143804573585161285230811086301526353748836131327030235053027939874707485966402037005153270174478190095396758094543744169056348905487131884686824838170874169939814806337394979302369872800981320584061204820092357508964566396055449230558300476384330298311107479913832581794064819153956772698854273225001930109566850520686797357478163663694969809250719640067322356430501136207022376176926667396704772883114902030154903195843978008902184928359124185988079072486743906667096500021936246046112898131176232983757341347290085902112715371586284224828261832195409330778608198984824298915130985864105427550231492134529456816831856763963411565076879881277661684499072748278984598562195408122061243008851236151217499935253928121810256037866038000758503934342320524816104369926378463538809606345413906979707570041242335812270830182900062603919115203820934103005685164951358910710237818875645730387753419184363481989191609789870770261151620559660459615837428550619357921114746153598850290499574070383861090604468832586466171661725995454635871862499198253785576291229454876551885650801904690068421863434791580267371929290264332965501769013428030937472205173595762443002734953231534429419222683686723324781006618533162797675737708336433944905974441318832643033771297276353495092158198420944534730029421957988370312594085745826117117603073430220125999313292829514335923399352155364925675122917952220365583967260580785376195278335561073544637762966824161148712516319929913312562997610309462449730811795814397439973154395657056874988402434049851166641118281704813687300902252675681343081049831527961053713886658496059376743467083169689021530358775910792399541010207543479983393272740754344559350491727307406829506938246862209212077788237116245601207941416777827552136916783110728802921202116949125051448064003700035009552848285334356136813423080127138458689112909870352392876704652534541812526871412252518753767461091497009188629862127835578423754585690441838841757624900814203408625386835799758700508360558087326205794216273099251570507207326192726082203191235057630147673931420873669182559229829359273409468283514305240140720069790846589835514511929035617866191657771680074073378739158131373221250785976760011264277354854953955454081930236235552731542620660880920004219372541972666500128951852639327017306793660215532104406425086589137509206184425783115268334953356582613641497062883897168615058412972135031108370968599285357785803758695453178574565699895301327611610954865136018589342467807439007162889804488844293658598651481922924809572845719075883721106660565221782977866953435061676196050550635976063417787216979682289798137481339186967132909462202321761753195669845245871540900477351651792471803954016807351271012446135312733759135472696557141800162259477574822306043021247285909122338766180202270517856848539624353458089780765394044663608271590848460842582107488400020546215518109489253796973310826688664792303221340774955407406936024868368597838784222005598201305377115764382319474623568773065548945774994519952888387113170264535460230705055313517452792958788908061508393370197072265754121948863591012156095565364216444982022643435485469264582068414480242227532315364252880013578080075210306165442822751314132166927184769469304436845978826080467261590636678943511396970645874009017847641172490997091720701482624433472582764587548252104057817756934276110625364058628972085069827960050369768347148963659772138736465874114630088535037284445204563958678203584476602262507396227754935286721758464352591571406176714579629768065364847264945925829484071981121073241879636426710560360605463553181882317730545904582949300843004094996611707077986136579813821576512977749416489587387419339494957409320733843474799955002150848452506654100560305990340572774828133405636441974725079023749213847364886260040306361987623938486754714789060462623089151254338717999766618037674353365058697546319536787350444487131048326862322669481567029115041316478665068499181343871977215386359030233558270020327893298519381595410070147222828208344711365464915439463872050082360245118505392193056446364542817105000848135276016778834652152702894052821005237063909428009861702964992586259703364167189341306601980449027882929670943824792085397008923901714135608018810535333517432553890579166120498240680170636147771914525747205564185101099187389557850111310759318826718982621530799017834177246663099530339490295009653838475684425418042415010886362782825800060255899447655082954156711380640454273093715135672963077727991734449571651697685650107497400840820430244921919046497243525063536840335323116262126729342663170327385306833016381949989554858422752482859010659959376191656975518657503931430575213175517100606894372807238224854603509515126717780733480284599312661014559755388274483333004906873706709090483619486221538601552667363771133976524708635128644097354557304180808334705274023853595551152303600402623420655424897898477866766701187176108232807230258878611864906296909117227880771363678955482922342058250097046945240584872195003501054110801727896215126647288207031106062056443354820290313749588826131672293992361039339742507211347297350430257182525150573379048015099009205095876235223833692183287430505053985978771595109938792671285415879218709933104737631228135504034806268576315767969114813840584766837100061880792113524116165280461941525328623368126223401396295788856589320204885577243621416366197452962438673971831896657183164025653565633306044364248043111383659370627502560464564419444303998462797628889449792764532814598392260477010455001865104796490604484137875951110812488493252277211704669923106123240208875972944121187516581470514398020554431663495909818725765822727903141578878586296352439765351234417884131234051498716037798043382139831384708793281931550173933308234002130889156962253684577370983722370620916244878228308919348434953634657189599996390392830798232504892421325942484980101767254633531834144349268732809311095207338209095327038880721342151102771960630247009907147423924183693267457235434903274592078853499344299096716747757410843429469506285235889538430358442386325669480711826587641585328901699866200468978648120054230357670848436188341707666425070600456368133293950236396059569257312979201589908679796349852387926371053909930562998057492119805902687399963063874748269391394815650233337513669159796159471470721758088783437095719214277715149672972443925614685251656445349984910049199363241090904597817663404198723645315354848314860519709781740031377113364254031659732464092648393790068634259152176812149608015961998193128958139302636635072579895184979741043086051005592696459166564090343618731687846602948075302255132582062719886561858295080102127999942076077412442065616466968087722947231304565204117224255704521805306156153595656077154917993388612432956123556828372344163787819448395491162818423148346935277608012121312706520037212287496134327474962046732631849712234939109556653608168254975427399898125887860660864030052705653175267050505520758199347784938898838574978405712432798142161221222539451688782134
Steps: 1695880
Otters: 25255
OtterSteps: 102590303862719605831770882692859929037105251939084678216001300936372459341136321437377136832947622294755935088527048965191342220762061246941164786191467969978493553515646176383038342459898576057440515066962289869924233419465784922515608591797855433276801890430791964241538402236778478943947074741483470635748162421147060840280596627089689307655728240412730912687931734014166096209066619858121208986951893180183394429684528492075687677644962149971941349353520109742192349163977172130358984529640599000058508590395854635754411605511063999754680479695263768114667560816325187914477915473290715552274171587967150811050526326553858208277767036871920871535766310524977210408565360371602995917227965998042686746798322029007674394989545197912686146245463214673952520224040961915479428271011402526733204395700052288772790665345759381864844707371490396824241900079482847978073101099158018648468229292115444001138412580176782183416516619888445463639790225529843906693708817518937638108379224291358216385463038593865178633914459210817446851801845186325298033901118885815693355849126440920209445299025930152951392291754129795409332309896751931169002219968858144346856576610780881398716963067306314906216978373876138125573748056750114548760663621593049138459537463746423157478227409143379698147405942704961346262308224927678642152052213157804668378759966926521555749657823193856006331581657468717235346171504169295218728423220946664792633935028776700522884319159809064974203158342940011386915262158646713161018723348323158449001689593565380402762326625625418308820413751951972549255387116475317079294572351352636365086853356715079867197385913853172191115853486825497438222877812777007635839922898195183906056438513358469343474887244783154113599511791199716757455289708201074724324514350891113335861699443992440047063617793629791025282515453160284988600073608783585606673187323741550300896783776681423553814957189237737661567450140400508693280711517813467298397731254041848466477166187929502656048406377352475538130926351142734288935345196395537071314807739590043290534581663573032646088815947622110740329105259470474515709851737305360950381328402573933177169018995584492411632666654330827158288987315627824681721107157113050119659807393229517394164859853833119908575752224763052364849874241526723237640483897955793700800003045832997392479191367355839288737234672086107856827035623766588193449920977708967048788470554341350298919383441499510958228146370089212801735254973666426597379527358463313688694651963473431714475241808850889839777864495954017705124585489344764680198255910667517490365302376359963630586581874192988043859663510340539777049255316081570599996673920759395536599500941265522718354893884267744462627581084637414174152320088358743767234476337662635457977233856327726539113321065140032649580966187430540155534437391795144782764770917860567109109514889636613895056189633272312703480194450446580787625225819089741095115901775385227836971955454688062649304350164913808646869248016841430019975780106738831146666984773741010732138778375479479466498949489045352501053572435841090980856290359840503564410666175976193371109332447389903670126892227812849080930676110274820926817225069462087114272180785766212823298488020136632250684221451530510704917039554613907643124235856345177242160133064561366808361942958599003903773186266422977985371611896540277819553428983671577293947092764076625903516229331561390946593438034598720154770459005973546445196891936255780361904760662770037813216978945727375837715890873032100415217658736056903256719283024511530649291239471715544608664679099804805741140531292837923894108022398482550387844623965053582996750170143041264357309254879696168251618698730138664127067743430203555155799988600089124029958913214472603243983401843978176499383366080004881751815820678566703751307696830816513383738318657870754159931400417586031190171862094576325648323697916597451259580854400780154060180349332409815998587976209136379060014616360230778210084923092509071121234331511968396772125456471474970207167472897954643058472181808427911734110347097721953837123727397850178622768878949138124451603219749073625124331535185904882512947437457166558218824067719560381820214038181559766171645839557736047449782882398640580142496276849414177905024406462094478464143149531337589905505825798714999018948330356442684211107236453544636185802698955166726722079508937360603753271240452028895947178289737849093079475366247267773561502362802628247113914238271813955393600448171397022684995625495101476715712437913238016088486742576120861901572136036243976768846395197677435929929319142586068552783583434895344039210436456042492375991806148670103028865948062294514519842887758660043216482099323769447627284514594752578231803612926365964940761235125555467474769230878967231634568916310903173082531372791513636308333998011008031040421275368522262114012723855478570398158396879651490304960613110264190535484900019684744189811486700323445648655708212286616241765108491759436472204740421420282683151559504118622765460923487645602246237029895051960784464410851053746231575054934743892513307554746406723314096393324627352357678675807978986140319840841531341228803338389007281558373673335076206593116016469147004405479307739340171297461905548062922759787576047131006652763639913171420412881543900419211355146785260453401304663398709555442964439051622250073911728510537365801327257940524498598406058075485062754076263409528574746521008085648278525577752780934852745986087355765880731468390156242214264122752352465254111368755200262988246724480482916053071548860068781814778933169753036632921651807900931013052964124813216772620561957413058855785747304278636300126560570234445516180383973076738881897029012632207471914492317465168934391665512724446561871075832679778130779910813052757225423703652600346794182546835969118937472539798341708781619882293671804397723108959293281211031294303829010134794958286866224342188179058887554922075231588888978566459497042459144838747941320937856232939167425230509756107543261054363939166629842910718867301087644218370537688762230697090680667173910496513208985067680032502725137619651764170667677923027499850954502895201579509898096698759947349080054687247451972829920080308187289596237716081978716446088734842570306892144766176981795617817965979413195834762252856656631174527190186699676734168293163091758130786119892508299027207701975725672553148006685095770560352379293424376941492397678850090954388024768301121605825009700521115895110818592710500684377766756472806918200262536889980891875587249878692745179356658420027308669657043738849539605835412757136494914307890855604533884486385683311350970796069532957513771072499796702083862790420686560635472375855308837156004563248971819552953101220139459231265828712434845649592064535871094019073870029987026135733635493905254688489514250601533562934454194132319836029337061313913399694089936921140745114930939855506525475602772270773116724137691684975832530057937358138774018701750014714266102477697655606947907640049227855975717226503370362654899466679261102837526190822191435538390143877195719346156574076470197803365769433777829048105804074128009190591391342204798455238874399779252351525031022564173807064704231005125750909425278709670956838709919485337351240174432879541032377980598086554455312601349932841766094264145405955015550247797628599760139424385241220391075827293122268745262289113415060573095479477246383682911374179869236333744654841683928691296197662614095136128219265003655780590916424513751089904939867956204147916015430731090865256801662407424248386067177506799041841695148724781209177477493644620691635764221620781010877338963907560886746794588505967063659035143879989158741700362804095755778162704549825886119448457048315163217840188839314999104927281470973121918401192558076692551512179682021240621715002009139188557629139210700177327000725216791166818161522907312444980133293126346310263199485256800893192435709705466916251619837995280581966001851627435603192038681313900336367766407888479641836952213692273109461342512271757631939419778273420358702024999596235218952051366325164587689024189904090956466841061931082683888910038478562397780338590987535466839265245417374768058425454935208092062703742357260311920443798152822957334430256539417384246710613517796172710865881946935343335987559681778127632862309650122729612537241983401673234552788898817014502568390993089480442320642569964804074827960731618716545767797104229946131844438813560818861408079222973448380943973896898527551481871208135965441677989023477691163541264465202629114252579280306137706172279323556194970382024635062625861173897830930067141656184747277812139124163967227110616156651570698576725341487036386971212618970605189312248957890052158786725676232781332396609004521098756303340645690396174342379684959859405812938511889731925176189180735935110897669063463039867394047378600014915726800889882908602795396902904660157063685244103946071318697110812980932916899481649042783672183815778171669702774756385578300000082743980756737635063885596952513229129523564398180771285892757207732899547855517397664569379490727491001246537940584301141832023877932161049686133693700133204904696021909679494969905198039464538738961536105677103523779795582022127768263843182908181119340751464976942614428054788835833037962672046187149885313156198268814783702733070255976375072837410772032917384887470416646732516777024011311559272285896790702606723423664815008117634144272232078434603811747729595042979515269028558598453321850199635286524774880098827560166281255440425035756549100107516830736827219861282092060481862379506127154167473554366137903385815764486189322412848765836231360571290276322359478276826603206207108991927742195803380384193673348509370295372154603710299754865143901381246348675033092773437648406904068328487775643981189464097192878065934564868673655985297987186948009650795012450319521412713667817310376092007476412634444619080224863652051883986519378888151337062677432155427854203398629935199066098262725807966315658875262751007485720635351208495675945943987665318703778383358455951028847386649277397915163841279712808395132871180270420899462771462501285061499173755123332499572507626714728693424784614980351634075243781016297933654486335320506001161660998547514842173139883346866728497334806643184752159616343794135124940854281688878058051416055848359319103694523427424676551779728943024270945038850013101999264871377645604988127678169010861648027411015414335498959155249534355560292704525304748290058210999856562467696407560668111320512135925787816744757294643149889884601438740345392035299167391958725394720140858213902665932805409469158411112297357851338591882188805078729167545535063477078721837989736743075305023170740064149151648072924967883196421161232903236146391467703944302594284856025321122016843020930191803298767450143178667153208654857453913983922652840396408774939258454479918435479885400433153458851647113856090807948901266879051561117184628046979454787034762772422714000396160767895497402436718526905337091633426453267519458722852539227084358426210018299086560526920504820141605284352273965175349523585060157707022096327070176838927824992533197630973420154191849341116466678977318114276784581378264785863116758719741729568237332918867245110851827805124037356501944652345778440801559185916149695911067140868473680196376426532716909818042127777654738921623020005571640634492968730261813795454825220202120506810905684443894679539567961396729156629755108330707255103315077219903269719204869992578876204039376163241258119942115534806607760357361491034222007175404514768395394112136254824182004051030783792125210612406540938439613014922831808784717076873442387589973105177466634999353778988029952303381241612033628953714390835295084892359831470482065949336327236108227241113434454515302040708647983337222970480074678716571820920940470101679101709942487906078209256143088532019214435259078506413562003289595238793923832733367197921900614523791089802177010424403009892092475150195295114398914743071620822167607276827084129502625759330479160626912070132307679543107693377875631492919699217725209403750759804637271677634836803669728193867928247331983033142038724925142837969878793531966544682915818445099276660767892922044407312867777544532312962911564231586034472808616618935988584908233116484494717152543745810137439515672219867104456312857998373929592919772015851691606540774219794317147634029704699859389578111179846174905523070426679556630937722888460933900009274453337807940344544157899196207326124671789913224044334570014323960035024728398994452576085431058562547636707669344329889074640358221524763725246305383497000012126279491714981027349195100244292170503344413658528940042330075396717055429660781301384862957261338789998139996778504411910982841327366735674812353302764543577500019302021929049434453018266177478280213036004205385197401049318694355502250112033732785255160847976405855143036494392392364567918560306047843891643481566745399307636911478489357859202685430190629442653558329016283667133623934691722149858106168557211935636724529263634534043251684254360326778818191317324552030160188782175647315184810849441755853300854942571942206057007420744182206134315260010161719533223793223049552399881997952241275259253295433525480117948402801021905019795022769352786620404928198257770951149249265931961286313297677655793103725646139337124824583864432073147915381710718556523970495717487239462018587957182236989985697086052085188971759293231288524121730622685381864655305635762553606795522656879565187456844013524811270080184807006003975937095658443680625999289158838905799397834329524043937867490116424780549351600875541128754362877921748800009604742181002641365604560146672794330435033453175929944468768936687555341799082961421867197793494703421585420147890785685293362580497625413884263478548427372172122210646537093163046127062900881989015171003197444708186529010168765327312053418128583847054019967320750236839849153791764682523072438964072845927574005711912446258812489239238388583319290069680187493049732382121079753687978101452740798532118198208692822563535960334999324499220459626
Otter Time: 300.143108
OtterLess Hops: 994140441208
OtterLess Time: 74.428014
OtterExtra Hops: 6174352224684
OtterExtra Time: 0.205004
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,b,[0,0],l,5),trans(b,[0,0],r,c,[1,2],r,3),trans(c,[0,0],l,b,[1,1],r,2),trans(b,[0,0],l,c,[2,0],l,1),trans(c,[1,1],r,b,[1,2],r,1),trans(b,[2,0],l,c,[0,0],l,1),trans(c,[1,2],r,c,[0,1],l,4),trans(c,[0,0],r,a,[0,1],r,1),trans(a,[0,1],l,d,[1,2],r,2),trans(d,[0,1],l,b,[1,1],l,1),trans(b,[1,2],r,b,[0,2],l,4),trans(b,[0,1],r,d,[0,2],r,1),trans(d,[0,2],l,b,[1,2],l,1),trans(b,[0,2],r,b,[1,1],r,3),trans(b,[1,2],l,c,[2,2],r,2),trans(c,[1,1],l,d,[2,2],r,2),trans(d,[0,0],l,b,[1,0],l,1),trans(b,[2,2],r,b,[0,0],l,2),trans(b,[1,1],r,d,[1,2],r,1),trans(c,[0,2],l,c,[1,2],r,2),trans(c,[1,0],l,b,[0,2],l,3),trans(b,[1,0],l,c,[0,1],l,3),trans(b,[0,1],l,c,[2,1],l,1),trans(b,[1,1],l,a,[2,1],r,4),trans(b,[2,1],r,d,[2,2],r,1),trans(c,[1,2],l,b,[0,0],l,3),trans(a,[2,1],l,b,[2,2],r,2),trans(c,[2,2],r,c,[0,0],l,2),trans(c,[2,1],r,b,[2,2],r,1),trans(d,[2,0],l,a,[2,1],r,2),trans(a,[2,0],l,a,[2,1],r,2),trans(d,[2,1],l,b,[2,2],r,2),trans(d,[1,0],l,d,[0,0],l,1),trans(d,[1,2],r,c,[1,2],r,1),trans(b,[2,1],l,c,[0,1],l,1),trans(d,[1,2],l,d,[0,2],l,1),trans(b,[0,2],l,c,[2,2],l,1),trans(b,[2,2],l,c,[0,2],l,1),trans(a,[0,2],l,b,[0,2],l,5),trans(a,[2,2],l,c,[0,0],l,3),trans(c,[0,1],l,z,[1,1],r,2)]