Machine 91 Results

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

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

Final configuration is {01}^(5){20}^(2)2200{b}{10}^(1697453){r}12 Ones: 1697464 Hops: (13 digits) Steps: 1319 Otters: 16 Otter Steps: (13 digits)

Machine 91: [t(a,0,1,r,b),t(a,1,0,r,b),t(a,2,1,l,d),t(b,0,2,l,c),t(b,1,0,r,a),t(b,2,1,l,a),t(c,0,2,l,a),t(c,1,1,l,b),t(c,2,1,r,z),t(d,0,2,r,a),t(d,1,1,l,b),t(d,2,0,r,d)]
String format: 431rb0rb1ld2lc0ra1la2la1lb1rz2ra1lb0rd
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html  Ligocki & Ligocki #i reworked by me to avoid blank tape. Mine has 5 less transitions
Table:
 012
a1 r b0 r b1 l d
b2 l c0 r a1 l a
c2 l a1 l b1 r z
d2 r a1 l b0 r d
Status: halts
Final Configuration: 00{20}^(4)12{z}{12}^(digits(7036)){l}
Ones: 13838421172364398890228142463062007764058140275037549758140908934232935053453068915284773623433026110488085576261013552771345106984480123955132443438779790724904109181512474390923630376705742278143222468717869745931614063488470398385735427145848782714879322805319921531798471338452202297638943269133208948170759076166230529171325205862028453523561070835705741075576194781456323398044324896133002173998871073258849516895615872305685308333910625178341994443260887589168699226460322751907986943626072294165325708756608835949314854695010287723486092347301340383967411096528934459255738282335141973807899507503455484551882151326088537242587822206602948798411533201852882540194474579492130633794130206406388827797142900368199740033131075619526060070080368381058271057058958226374040957609684029831160805740930275938900238410144878891966086555865233247712569803724245453690764405821433812048476351163328040880722755003633302162107514772004458480152710331915732815580134935905999838689665863984264631682597608994992521805818466669262242656996318933643506708449053442963821471582648359376152297106218484419082189279656208974558284485079078203321359411786920634053393572284829066901861663660391396050534358039812285691247079655831419826939297356689348927206874695799426554619901642317230885347029476574846720419279135373688721888230127943884547174255091122843840955063499616686327564721310238569528682253703157036698088348949139937798011536903751076059845430318616735990361993780438482785930023559565072511104494462074119551277002084889078693989881679081738497418031427620076839214873963408802225081033932555937547231401826000251280637948091878532143062576088646218116546751665424360015859216249462634932570048877176266603664520275958294167241559033222970301738934876108304144230409631877749269989747611114527473714799401528459672275506886336121708231226493728462762521823693200419172806519447241576464865900278181457777760456778548212149303036509033067989839105391671799357120460555505856770467344834243521445872476685526010309410819471034784679634261727092454421392116461382431376266385729948052305716542482202128068228742646210069022898040924714397703269789220929405959615008475948787492713423999879543380236617808034111326846498363618773908250154979914215544264556516676883533849072101043709640752234309220308600229175960593759057444368670195346410235610126452500397414297592076177088921462963401811037618964408515756922686825409028646338190619892164324265184642886996700757602731564022927437448515420937219573533793466114659157723147796596200060890367328883461960603665067288784795475023125841271495987305571030108151032314201537639235512196347751784304074729530995413639809017555072138423804574630600873089236745709420282001462570191552674732723419186923884049866039831279460399865758011504395544091803995852909965837279899581678755280986497776793629744008411358414009193623843821579120203531485332061284420641259053814462309718920746551308908324773278377590828956269819596999803830486531519209501462717368123928882545201518430949589544099873839348377782322873450194712162273121235812229702345665142324120259507036160923440827804147552497460150324388900444836784745754835907509627683473803548083668868337408285245844801589412391646041844322800190946652608026536501952584909824090505777205789052590254088368172537762251972359383457963402363872513413824801281419435105352916442482950319260783199939351019424918916229556401099250274341746789167763847441885416009368759096787045075148360885980582773129047811696169805509685460087312968624030329359920384580717923674467247092723021120178700233849900148527547175323940310437535903094025916597418127368606547154393037491744852968823326363578358182963822868756390435001860052606482810613336753027302260605374097205372352174427540950417011998983938495990255262115355103813669518599049264697754975195360310743717291058131374414538456486288558550165251058240925949568095939865759255152643310585585445477091507705772551826221019348157600095788562869928489505357638398017054406606857147237783356315154520865850602033454935774149073830489038850404432176691136134710867022605801865532166720937360474746528099318111746273186663075032552429054143082854344848313239162604267199821962112459876811689288452529541208200412149931077207273195454208032950463754883430448752478088693507070474773200506673660670381862346451591162231083585029396701436993872898621008729485388623230544012253685068139788723484666299375820866449814765680935415557425128692673444591394290736162911939655406619320189017008843422743076696887215443803439127697618104625253714620844298147814233326049489921095944434876955603134861633646398623667035526172315900745786469306159057469114180605812887175354901755085771786924731445247288720841024092545403409309657091865480812629744197367965210395931666563162005823022136845251764679514002397538247459783054531933792232927470781641706135750872357603885569330294255710816436890815818214388934714530332945375214253696759388885322062756671582095847641068632732077252547103496133830990746930906895086008141781986802953967326807199434963936268364499702946143097946347765721925334179188254437150047190939609868713259334423677434117801694885243937239449204991420414002544621700568978620364819830200656974971556696466838611305353197136229654567699735096888136134622285687909904635795197332748814438027698726199588543307970303145305166384849682167190593759697230763559628486062417243666802263184853073938224062539077408853856973278042234189886183554341947357238815067627802909816463342195329190597918961411595022835772486828520072389621320645720411151607958840139499151360842169786417058036295928477386678902684172012260410097722152954489094202666080455373429594861246043316575044719614691414755642928963174645590925727533395417163411725908296034732964248482175025879631785821628819324951975279021041803431896864891688162774522984169551553171272433670101348509164797306721978592166729660945102585964953630064763152856677717362038469997325855237281111973668018535699207714962199793328737015941110160700677234263302803536360804567888579421662184365215651037291357809799663305926146442107496419023947287871890403165294366593485799723966121029691539427226791888656055663077943548057794384712809838662236021401007161563111031792462968234179974366006231508927953773484506341318287285285549164447992293522075021836012149110480885109317027442544418441699569364837614293012186749840089761774877428168483423699964179481039026110543892991584865534231532927666309934229907814100898420158961860851099373261162313842115658204406827339183607232442077965676394956306194228126428754559064939184228322951780403390124849381318850130508671327637329930540703585491644296909627918454334374279047236565806043785162626268074670807801045360839743242091737410322650934384837130145166174732873751288993654885461550496386441818021718844702161754758691680786397805716733541027656843077842512021845711582899980398905935526223302569976778671483697126123967216242070565162262865887843601003979668014488808573028926915398767102040971125114
Hops: 102590303862719605831770882692859929037105251939084678216001300936372459341136321437377136832947622294755935088527048965191342220762061246941164786191467969978493553515646176383038342459898576057440515066962289869924233419465784922515608591797855433276801890430791964241538402236778478943947074741483470635748162421147060840280596627089689307655728240412730912687931734014166096209066619858121208986951893180183394429684528492075687677644962149971941349353520109742192349163977172130358984529640599000058508590395854635754411605511063999754680479695263768114667560816325187914477915473290715552274171587967150811050526326553858208277767036871920871535766310524977210408565360371602995917227965998042686746798322029007674394989545197912686146245463214673952520224040961915479428271011402526733204395700052288772790665345759381864844707371490396824241900079482847978073101099158018648468229292115444001138412580176782183416516619888445463639790225529843906693708817518937638108379224291358216385463038593865178633914459210817446851801845186325298033901118885815693355849126440920209445299025930152951392291754129795409332309896751931169002219968858144346856576610780881398716963067306314906216978373876138125573748056750114548760663621593049138459537463746423157478227409143379698147405942704961346262308224927678642152052213157804668378759966926521555749657823193856006331581657468717235346171504169295218728423220946664792633935028776700522884319159809064974203158342940011386915262158646713161018723348323158449001689593565380402762326625625418308820413751951972549255387116475317079294572351352636365086853356715079867197385913853172191115853486825497438222877812777007635839922898195183906056438513358469343474887244783154113599511791199716757455289708201074724324514350891113335861699443992440047063617793629791025282515453160284988600073608783585606673187323741550300896783776681423553814957189237737661567450140400508693280711517813467298397731254041848466477166187929502656048406377352475538130926351142734288935345196395537071314807739590043290534581663573032646088815947622110740329105259470474515709851737305360950381328402573933177169018995584492411632666654330827158288987315627824681721107157113050119659807393229517394164859853833119908575752224763052364849874241526723237640483897955793700800003045832997392479191367355839288737234672086107856827035623766588193449920977708967048788470554341350298919383441499510958228146370089212801735254973666426597379527358463313688694651963473431714475241808850889839777864495954017705124585489344764680198255910667517490365302376359963630586581874192988043859663510340539777049255316081570599996673920759395536599500941265522718354893884267744462627581084637414174152320088358743767234476337662635457977233856327726539113321065140032649580966187430540155534437391795144782764770917860567109109514889636613895056189633272312703480194450446580787625225819089741095115901775385227836971955454688062649304350164913808646869248016841430019975780106738831146666984773741010732138778375479479466498949489045352501053572435841090980856290359840503564410666175976193371109332447389903670126892227812849080930676110274820926817225069462087114272180785766212823298488020136632250684221451530510704917039554613907643124235856345177242160133064561366808361942958599003903773186266422977985371611896540277819553428983671577293947092764076625903516229331561390946593438034598720154770459005973546445196891936255780361904760662770037813216978945727375837715890873032100415217658736056903256719283024511530649291239471715544608664679099804805741140531292837923894108022398482550387844623965053582996750170143041264357309254879696168251618698730138664127067743430203555155799988600089124029958913214472603243983401843978176499383366080004881751815820678566703751307696830816513383738318657870754159931400417586031190171862094576325648323697916597451259580854400780154060180349332409815998587976209136379060014616360230778210084923092509071121234331511968396772125456471474970207167472897954643058472181808427911734110347097721953837123727397850178622768878949138124451603219749073625124331535185904882512947437457166558218824067719560381820214038181559766171645839557736047449782882398640580142496276849414177905024406462094478464143149531337589905505825798714999018948330356442684211107236453544636185802698955166726722079508937360603753271240452028895947178289737849093079475366247267773561502362802628247113914238271813955393600448171397022684995625495101476715712437913238016088486742576120861901572136036243976768846395197677435929929319142586068552783583434895344039210436456042492375991806148670103028865948062294514519842887758660043216482099323769447627284514594752578231803612926365964940761235125555467474769230878967231634568916310903173082531372791513636308333998011008031040421275368522262114012723855478570398158396879651490304960613110264190535484900019684744189811486700323445648655708212286616241765108491759436472204740421420282683151559504118622765460923487645602246237029895051960784464410851053746231575054934743892513307554746406723314096393324627352357678675807978986140319840841531341228803338389007281558373673335076206593116016469147004405479307739340171297461905548062922759787576047131006652763639913171420412881543900419211355146785260453401304663398709555442964439051622250073911728510537365801327257940524498598406058075485062754076263409528574746521008085648278525577752780934852745986087355765880731468390156242214264122752352465254111368755200262988246724480482916053071548860068781814778933169753036632921651807900931013052964124813216772620561957413058855785747304278636300126560570234445516180383973076738881897029012632207471914492317465168934391665512724446561871075832679778130779910813052757225423703652600346794182546835969118937472539798341708781619882293671804397723108959293281211031294303829010134794958286866224342188179058887554922075231588888978566459497042459144838747941320937856232939167425230509756107543261054363939166629842910718867301087644218370537688762230697090680667173910496513208985067680032502725137619651764170667677923027499850954502895201579509898096698759947349080054687247451972829920080308187289596237716081978716446088734842570306892144766176981795617817965979413195834762252856656631174527190186699676734168293163091758130786119892508299027207701975725672553148006685095770560352379293424376941492397678850090954388024768301121605825009700521115895110818592710500684377766756472806918200262536889980891875587249878692745179356658420027308669657043738849539605835412757136494914307890855604533884486385683311350970796069532957513771072499796702083862790420686560635472375855308837156004563248971819552953101220139459231265828712434845649592064535871094019073870029987026135733635493905254688489514250601533562934454194132319836029337061313913399694089936921140745114930939855506525475602772270773116724137691684975832530057937358138774018701750014714266102477697655606947907640049227855975717226503370362654899466679261102837526573327890844723693170271876587697264316490742143804573585161285230811086301526353748836131327030235053027939874707485966402037005153270174478190095396758094543744169056348905487131884686824838170874169939814806337394979302369872800981320584061204820092357508964566396055449230558300476384330298311107479913832581794064819153956772698854273225001930109566850520686797357478163663694969809250719640067322356430501136207022376176926667396704772883114902030154903195843978008902184928359124185988079072486743906667096500021936246046112898131176232983757341347290085902112715371586284224828261832195409330778608198984824298915130985864105427550231492134529456816831856763963411565076879881277661684499072748278984598562195408122061243008851236151217499935253928121810256037866038000758503934342320524816104369926378463538809606345413906979707570041242335812270830182900062603919115203820934103005685164951358910710237818875645730387753419184363481989191609789870770261151620559660459615837428550619357921114746153598850290499574070383861090604468832586466171661725995454635871862499198253785576291229454876551885650801904690068421863434791580267371929290264332965501769013428030937472205173595762443002734953231534429419222683686723324781006618533162797675737708336433944905974441318832643033771297276353495092158198420944534730029421957988370312594085745826117117603073430220125999313292829514335923399352155364925675122917952220365583967260580785376195278335561073544637762966824161148712516319929913312562997610309462449730811795814397439973154395657056874988402434049851166641118281704813687300902252675681343081049831527961053713886658496059376743467083169689021530358775910792399541010207543479983393272740754344559350491727307406829506938246862209212077788237116245601207941416777827552136916783110728802921202116949125051448064003700035009552848285334356136813423080127138458689112909870352392876704652534541812526871412252518753767461091497009188629862127835578423754585690441838841757624900814203408625386835799758700508360558087326205794216273099251570507207326192726082203191235057630147673931420873669182559229829359273409468283514305240140720069790846589835514511929035617866191657771680074073378739158131373221250785976760011264277354854953955454081930236235552731542620660880920004219372541972666500128951852639327017306793660215532104406425086589137509206184425783115268334953356582613641497062883897168615058412972135031108370968599285357785803758695453178574565699895301327611610954865136018589342467807439007162889804488844293658598651481922924809572845719075883721106660565221782977866953435061676196050550635976063417787216979682289798137481339186967132909462202321761753195669845245871540900477351651792471803954016807351271012446135312733759135472696557141800162259477574822306043021247285909122338766180202270517856848539624353458089780765394044663608271590848460842582107488400020546215518109489253796973310826688664792303221340774955407406936024868368597838784222005598201305377115764382319474623568773065548945774994519952888387113170264535460230705055313517452792958788908061508393370197072265754121948863591012156095565364216444982022643435485469264582068414480242227532315364252880013578080075210306165442822751314132166927184769469304436845978826080467261590636678943511396970645874009017847641172490997091720701482624433472582764587548252104057817756934276110625364058628972085069827960050369768347148963659772138736465874114630088535037284445204563958678203584476602262507396227754935286721758464352591571406176714579629768065364847264945925829484071981121073241879636426710560360605463553181882317730545904582949300843004094996611707077986136579813821576512977749416489587387419339494957409320733843474799955002150848452506654100560305990340572774828133405636441974725079023749213847364886260040306361987623938486754714789060462623089151254338717999766618037674353365058697546319536787350444487131048326862322669481567029115041316478665068499181343871977215386359030233558270020327893298519381595410070147222828208344711365464915439463872050082360245118505392193056446364542817105000848135276016778834652152702894052821005237063909428009861702964992586259703364167189341306601980449027882929670943824792085397008923901714135608018810535333517432553890579166120498240680170636147771914525747205564185101099187389557850111310759318826718982621530799017834177246663099530339490295009653838475684425418042415010886362782825800060255899447655082954156711380640454273093715135672963077727991734449571651697685650107497400840820430244921919046497243525063536840335323116262126729342663170327385306833016381949989554858422752482859010659959376191656975518657503931430575213175517100606894372807238224854603509515126717780733480284599312661014559755388274483333004906873706709090483619486221538601552667363771133976524708635128644097354557304180808334705274023853595551152303600402623420655424897898477866766701187176108232807230258878611864906296909117227880771363678955482922342058250097046945240584872195003501054110801727896215126647288207031106062056443354820290313749588826131672293992361039339742507211347297350430257182525150573379048015099009205095876235223833692183287430505053985978771595109938792671285415879218709933104737631228135504034806268576315767969114813840584766837100061880792113524116165280461941525328623368126223401396295788856589320204885577243621416366197452962438673971831896657183164025653565633306044364248043111383659370627502560464564419444303998462797628889449792764532814598392260477010455001865104796490604484137875951110812488493252277211704669923106123240208875972944121187516581470514398020554431663495909818725765822727903141578878586296352439765351234417884131234051498716037798043382139831384708793281931550173933308234002130889156962253684577370983722370620916244878228308919348434953634657189599996390392830798232504892421325942484980101767254633531834144349268732809311095207338209095327038880721342151102771960630247009907147423924183693267457235434903274592078853499344299096716747757410843429469506285235889538430358442386325669480711826587641585328901699866200468978648120054230357670848436188341707666425070600456368133293950236396059569257312979201589908679796349852387926371053909930562998057492119805902687399963063874748269391394815650233337513669159796159471470721758088783437095719214277715149672972443925614685251656445349984910049199363241090904597817663404198723645315354848314860519709781740031377113364254031659732464092648393790068634259152176812149608015961998193128958139302636635072579895184979741043086051005592696459166564090343618731687846602948075302255132582062719886561858295080102127999942076077412442065616466968087722947231304565204117224255704521805306156153595656077154917993388612432956123556828372344163787819448395491162818423148346935277608012121312706520037212287496134327474962046732631849712234939109556653608168254975427399898125887860660864030052705653175267050505520758199347784938898838574978405712432798142161221222539451688782129
Steps: 1695879
Otters: 25255
OtterSteps: 102590303862719605831770882692859929037105251939084678216001300936372459341136321437377136832947622294755935088527048965191342220762061246941164786191467969978493553515646176383038342459898576057440515066962289869924233419465784922515608591797855433276801890430791964241538402236778478943947074741483470635748162421147060840280596627089689307655728240412730912687931734014166096209066619858121208986951893180183394429684528492075687677644962149971941349353520109742192349163977172130358984529640599000058508590395854635754411605511063999754680479695263768114667560816325187914477915473290715552274171587967150811050526326553858208277767036871920871535766310524977210408565360371602995917227965998042686746798322029007674394989545197912686146245463214673952520224040961915479428271011402526733204395700052288772790665345759381864844707371490396824241900079482847978073101099158018648468229292115444001138412580176782183416516619888445463639790225529843906693708817518937638108379224291358216385463038593865178633914459210817446851801845186325298033901118885815693355849126440920209445299025930152951392291754129795409332309896751931169002219968858144346856576610780881398716963067306314906216978373876138125573748056750114548760663621593049138459537463746423157478227409143379698147405942704961346262308224927678642152052213157804668378759966926521555749657823193856006331581657468717235346171504169295218728423220946664792633935028776700522884319159809064974203158342940011386915262158646713161018723348323158449001689593565380402762326625625418308820413751951972549255387116475317079294572351352636365086853356715079867197385913853172191115853486825497438222877812777007635839922898195183906056438513358469343474887244783154113599511791199716757455289708201074724324514350891113335861699443992440047063617793629791025282515453160284988600073608783585606673187323741550300896783776681423553814957189237737661567450140400508693280711517813467298397731254041848466477166187929502656048406377352475538130926351142734288935345196395537071314807739590043290534581663573032646088815947622110740329105259470474515709851737305360950381328402573933177169018995584492411632666654330827158288987315627824681721107157113050119659807393229517394164859853833119908575752224763052364849874241526723237640483897955793700800003045832997392479191367355839288737234672086107856827035623766588193449920977708967048788470554341350298919383441499510958228146370089212801735254973666426597379527358463313688694651963473431714475241808850889839777864495954017705124585489344764680198255910667517490365302376359963630586581874192988043859663510340539777049255316081570599996673920759395536599500941265522718354893884267744462627581084637414174152320088358743767234476337662635457977233856327726539113321065140032649580966187430540155534437391795144782764770917860567109109514889636613895056189633272312703480194450446580787625225819089741095115901775385227836971955454688062649304350164913808646869248016841430019975780106738831146666984773741010732138778375479479466498949489045352501053572435841090980856290359840503564410666175976193371109332447389903670126892227812849080930676110274820926817225069462087114272180785766212823298488020136632250684221451530510704917039554613907643124235856345177242160133064561366808361942958599003903773186266422977985371611896540277819553428983671577293947092764076625903516229331561390946593438034598720154770459005973546445196891936255780361904760662770037813216978945727375837715890873032100415217658736056903256719283024511530649291239471715544608664679099804805741140531292837923894108022398482550387844623965053582996750170143041264357309254879696168251618698730138664127067743430203555155799988600089124029958913214472603243983401843978176499383366080004881751815820678566703751307696830816513383738318657870754159931400417586031190171862094576325648323697916597451259580854400780154060180349332409815998587976209136379060014616360230778210084923092509071121234331511968396772125456471474970207167472897954643058472181808427911734110347097721953837123727397850178622768878949138124451603219749073625124331535185904882512947437457166558218824067719560381820214038181559766171645839557736047449782882398640580142496276849414177905024406462094478464143149531337589905505825798714999018948330356442684211107236453544636185802698955166726722079508937360603753271240452028895947178289737849093079475366247267773561502362802628247113914238271813955393600448171397022684995625495101476715712437913238016088486742576120861901572136036243976768846395197677435929929319142586068552783583434895344039210436456042492375991806148670103028865948062294514519842887758660043216482099323769447627284514594752578231803612926365964940761235125555467474769230878967231634568916310903173082531372791513636308333998011008031040421275368522262114012723855478570398158396879651490304960613110264190535484900019684744189811486700323445648655708212286616241765108491759436472204740421420282683151559504118622765460923487645602246237029895051960784464410851053746231575054934743892513307554746406723314096393324627352357678675807978986140319840841531341228803338389007281558373673335076206593116016469147004405479307739340171297461905548062922759787576047131006652763639913171420412881543900419211355146785260453401304663398709555442964439051622250073911728510537365801327257940524498598406058075485062754076263409528574746521008085648278525577752780934852745986087355765880731468390156242214264122752352465254111368755200262988246724480482916053071548860068781814778933169753036632921651807900931013052964124813216772620561957413058855785747304278636300126560570234445516180383973076738881897029012632207471914492317465168934391665512724446561871075832679778130779910813052757225423703652600346794182546835969118937472539798341708781619882293671804397723108959293281211031294303829010134794958286866224342188179058887554922075231588888978566459497042459144838747941320937856232939167425230509756107543261054363939166629842910718867301087644218370537688762230697090680667173910496513208985067680032502725137619651764170667677923027499850954502895201579509898096698759947349080054687247451972829920080308187289596237716081978716446088734842570306892144766176981795617817965979413195834762252856656631174527190186699676734168293163091758130786119892508299027207701975725672553148006685095770560352379293424376941492397678850090954388024768301121605825009700521115895110818592710500684377766756472806918200262536889980891875587249878692745179356658420027308669657043738849539605835412757136494914307890855604533884486385683311350970796069532957513771072499796702083862790420686560635472375855308837156004563248971819552953101220139459231265828712434845649592064535871094019073870029987026135733635493905254688489514250601533562934454194132319836029337061313913399694089936921140745114930939855506525475602772270773116724137691684975832530057937358138774018701750014714266102477697655606947907640049227855975717226503370362654899466679261102837526167758156148264391993496958280909476967312903072740782839198929605326547381652346483715968685620494614308429580631423331065949852715097300548510631833038807876069243309522213638632659291642433554334803651683091455825290492272437124669708971356427128236131940730421812997250345397846089643359479792665042828876027995325027713670238071957192339606875461657506676248219544600573205658101142435136292574331162306371379024438977201937782069201329375792668282462521391499301516719963886278743490089697303758110524329579117648592837057566430729638334006399118457662485203126566120111912733437002316790448089326794637851448673627779011179629383100418084196832018661156131315214799590682676333450531955637655123547619566139174918834470672950660008078729548073938857929906910875477934227543194560127608399382315240706919994458890404313493523148866570921517011868917260484102951102362431193231539044076675035231200647035762881021768502122613662270299486704593115615592913467379932794944696161984324831700307277405367047821989898790770181646937997966364949846342489001884860471942626668751595322876634864923748534942188108451881668104608909637719556522582229891005948086403452263475607362046722305007679365942684363770558535051703120344487649784674194421108881557285128588604609814052200894394996934274048490018756766924725021365243942876240634742018811479599335093035625786022068555189235379548515963301724055557133577931974724881817947288002058942424715462157604937548360719033843627025564714425936687326734071789536014173586817653414713172558708165597489630344867778550700346924159957338797468749028910672850720244599234321909639873757122900506992380532978374901885430312132716412792316467420916625550783571017294342896306249529047745222739557261017107988008991507131662348940351919057768086946813460515536501589075349246512701436090397125568527389185949334182913973234239915984665156135448520847605373539208986703087519510743705455754507547184118278302760915581084848731623729518254052701572785490123698750149636413257022864006499365212844738358003721456092447238264107039527971584154851499772713184172562401234482574861775084619790159876062997548298697322695068641436529557008001186951355327201514653435117737280595890909176711338560340006158295928850028287249090674620322230176655135807968890102823714850883537220421790045742918347950063527900361602170773825185889427974319021324005662736460472764918749049455580850051310790986210217376091532499815012650999572360682565665018584221151664210820019248481935370871330205505234295218990466511800154065989608817998800118142989374041347753723727293162574744644767037309298025106079536977710266074081616217073210735790796850347562357125345256735715190852850379791199947123577072967645969287082407363221104949211257623776434666215765768007213055278813194374523310801924267043125946214365019384907781177848423251537938394627506970062510913483413687812117920457330014726785438308939164682867897018473626452441036744633432959225270936022875489291801724788982816265916103151907813453511522597694748674997384880798845424594748763279233962340902736147568890923065184583132067060780691842327313751205360817918050201262280274903292411561608807989955022537992634042060725910869538123653828019119323774682419078343475890703927476720852290416535042571672063976121940206337277396264216791856403671972608911009162211742515002976802622402502580816790843110212247442335600040789541336161844365369359887624387146895720250150064554047545053512825867060800540548601456323354601476865107822397829249601820312444252008179120273550579372793142026664314620042578666190794922091634642893119855933694805836971922011976994039864127627444580085001662910226458219423943899157522959865121552407409367510881583480171669759866971339253254568307956480196519132765569180301525814016490605560736870816935249809256814836327650293775107552940945451628759205183924670506068570630200242542949911244871087936205979781908475088583586188326641566014062382838589724754353923458563204934443870209250613954302391469849242409574745299690493683097065598520195968598083440306609588445421587104698047970739788641783182179565229522144081717323032571082514745208741138986928020808853147094447443337030329762534116925356798674464912650421319411765033581015577046890983345001407717336185995325711783988726906818124808530827120849345825457607494029825684247800883516788338263968782725617883113130361714607487440736279800568013839963653588730578094371032877432121014766695015565524233567713684200108033543597429368774416393482568080365764063883585720842572338377453059997783043033229683421980182334895760994866790959185763399047049207296441251056244032246191655364658173794377403608658363322443836197127460587323744824310965274262905548712436487505973607829094883954963979525607437133204700141155070417716723043634141532884439527123266273302735741177183149570317837685570936777854249228519057054939003827129034394873912583707398413665502264757084023552187732579875583520665818481360422321402693190467166001684586459414353448205382075107935120999547050927070523501325933421022625458337336587307480973165811456236875481012199968094321828218209149432837166879082828805335668882582017116531619402459084230496222579218677801900913784654357550966866732816733092199949251698739754006750224640055032033358439879116032695401539705175098814448890906402456903983540156193408672597896007599396912429010542611313281456726409661300628464349309068495674105516477406310286020439994231800949379106610600310224718804495748857178060318345557697942602099018781238078108755868866392332292160669296879362757411748847629108002597033345126918235274130681167176648503527934405923925187161280950846127724417199182982992335036986288600183225289996813853945436740057886240614420416637973449576805710518449674526826157045327309127301848402645702863802331018086380240889178037452137316666284239550963294355332431924636358027510628563726788303482978154561549074214089054271676950072966175728545529471829452085741443958798483133783435082566075035363726747254704778883791622800390050901436416610836420047177197701809386416326912916486880053793991087972005662556911747516130012954410673405710943575937675475908401982384912614293101406628588374262466556555776006362145432388530427864401949470646660746908298875017287355835827048593624457201868776353863209335773239128777809870147958925784179441770070489040388128273292845354682356356151230540800170477147555869112239859592021623514106855223521814521669883689027550035379694296594228820752220582634942183259067686057420406843962563806453851174193478737526141203964197412265001429435700931368589295013810406104000985066307179333810789019397921759045763349889541137671107293107142014705681746963946197628288402496509341887053976120511956099583810139492639266718724417519888744822152334350640045390616213611963052095053240917938016575690048597176010117762036167948926176839625902529636428333975893219476184721367545278448082253278867067438622021504263518310619771038645336804483249868288380072458566004840727345200848657768003720821097602565492
Otter Time: 315.791993
OtterLess Hops: 994140441206
OtterLess Time: 73.106467
OtterExtra Hops: 6174348829771
OtterExtra Time: 0.211004
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,b,[1,2],l,3),trans(b,[0,0],r,a,[2,2],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,2],l,a,[1,2],l,1),trans(a,[0,1],r,b,[0,0],r,1),trans(b,[1,2],l,b,[2,0],r,4),trans(b,[0,0],l,c,[2,0],l,1),trans(c,[2,0],r,d,[1,2],l,2),trans(d,[2,0],r,a,[2,2],r,1),trans(a,[1,2],l,a,[1,0],r,4),trans(a,[2,0],l,d,[1,0],l,1),trans(d,[1,0],r,a,[1,2],r,1),trans(a,[1,0],l,a,[2,2],l,3),trans(a,[1,2],r,b,[1,1],l,2),trans(b,[2,2],r,d,[1,1],l,2),trans(d,[0,0],r,a,[0,2],r,1),trans(a,[1,1],l,a,[0,0],r,2),trans(a,[2,2],l,d,[1,2],l,1),trans(b,[1,0],r,b,[1,2],l,2),trans(b,[0,2],r,a,[1,0],r,3),trans(a,[0,2],r,b,[2,0],r,3),trans(a,[2,0],r,b,[2,1],r,1),trans(a,[2,2],r,c,[2,1],l,4),trans(a,[2,1],l,d,[1,1],l,1),trans(b,[1,2],r,a,[0,0],r,3),trans(c,[2,1],r,a,[1,1],l,2),trans(b,[1,1],l,b,[0,0],r,2),trans(b,[2,1],l,a,[1,1],l,1),trans(d,[0,1],r,c,[2,1],l,2),trans(c,[0,1],r,c,[2,1],l,2),trans(c,[0,0],r,a,[0,0],r,5),trans(d,[2,1],r,a,[1,1],l,2),trans(d,[0,2],r,d,[0,0],r,1),trans(d,[1,2],l,b,[1,2],l,1),trans(a,[2,1],r,b,[2,0],r,1),trans(d,[1,2],r,d,[1,0],r,1),trans(a,[1,0],r,b,[1,1],r,1),trans(a,[1,1],r,b,[1,0],r,1),trans(c,[1,0],r,a,[1,0],r,5),trans(c,[1,1],r,b,[0,0],r,3),trans(b,[2,0],r,z,[1,2],r,2)]