Details Page for 0.1163

Complete Solution is Known:

MSV File: q-0.1163.msv

Growth Pattern:

(Click on a heap to see details)

Details for Q₂₅₃(0.1163):

Q = <a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t | a²=1, b⁴=b², b²c=ab², c²=b², d²=b², be=b³d, ce=ab²d, de=b², e²=b², bf=b³d, ef=b², f²=b², b²g=b³d, bcg=ab²d, bdg=b², cdg=ab³, eg=dg, cfg=ab³, dfg=b³d, bg²=dg, dg²=bg, fg³=fg, g⁴=g², bh=b²d, ch=ab³d, dh=b³, fh=eh, gh=b², h²=b², bi=ab², ci=b³, ei=ab³d, fi=ab³d, gi=abg, hi=ab²d, i²=b², bj=ab², cj=b³, dj=di, ej=ab³d, fj=ab³d, gj=afg², hj=ab²d, ij=b², j²=b², bk=b², ck=ab³, dk=b³d, ek=b³d, fk=b³d, gk=fg², hk=b²d, ik=ab², jk=ab², k²=b², bl=cg², cl=b³, dl=cg³, el=cg³, fg²l=fl, g³l=gl, hl=ab²d, il=acg², jl=afgl, kl=fgl, l²=b², bm=b³d, cm=ab²d, dm=b², em=b², fm=b², gm=b³, hm=eh, im=ab³d, jm=ab³d, km=b³d, lm=ab³d, m²=b², bn=b³d, cn=ab²d, dn=b², en=b², fn=b², g²n=n, hn=b³, in=ab³d, jn=ab³d, kn=b³d, ln=cg³, mn=b², n²=b², bo=cg², co=b³, do=cg³, fgo=fgl, g³o=go, eho=cdf, io=acg², jo=afgl, lo=b², no=ab³d, o²=b², b²p=b³d, cp=ab³d, bdp=acdf, ep=b³, fp=b³, gp=acdf, hp=b², ip=abp, jp=abp, kp=b²d, lp=ab²d, mp=b³, np=b³, op=ab²d, p²=b², bq=b³d, cq=cf, dq=df, eq=b², fq=b², gq=b³, hq=b³, iq=ab³d, jq=ab³d, kq=b³d, lq=ab³d, mq=b², nq=b², oq=ab³d, pq=b³, q²=b², b²r=ab³d, bcr=acf, bdr=adf, er=ab³, fr=ab³, gr=adf, hr=ab², ir=b²d, jr=b²d, kr=ab²d, lr=b²d, mr=ab³, nr=ab³, or=b²d, pr=ab², qr=ab³, r²=b², b³s=bs, bcs=abs, es=b²ds, fs=b²ds, gs=bds, hs=bds, is=abs, js=abs, ks=bs, ls=abs, ms=b²ds, ns=b²ds, os=abs, ps=bds, qs=b²ds, rs=abds, s²=b², b²t=t, ct=at, et=dt, ft=dt, gt=bdt, ht=bdt, it=abt, jt=abt, kt=bt, lt=abt, mt=dt, nt=dt, ot=abt, pt=bdt, qt=dt, rt=abdt, t²=b²>

P = {a, b², af, adf, g, acg, ag², g³, acg³, al, ao, eo, fo, ako, mo, abp, aq, ds, acds}

Phi = 1 a a 1 b b b ab 1 a b² c ab b b d e f b² g h i b abc e ab² b² ab² b² j k b³ b³ fg² ab² cg² b³d b³d b³d l m n b²d cdf ab² b³d b³d ab³ b³ o b² ab² cdf cg² ab³ p ab³ b²d b²d q cdf r b³d ab³ ab³ s b²d fgl ko ab² acg² b³ ab³ ab³ b²d b²d ko cg² b³d b³d b³d ab²d b²d b²d b²d ab² ab³d b³d b³d ab³ ab³ ab³ ab² ab² ab² b³d ab³d b³d ab³ b²d b²d ab²d b³d ab³d b³d ab³d b²s b²d b²d ab²d bs ab² b² ab³d b²s b²s b²d b²d ab²d bs b³d b³d b³d ab²d b²d b²d b²d bs ab³d b³d b³d b²s b²s b²d b²d ab³ bs b³d ab³d ab² b²s b²d b²d ab²d b³d b³d b³d ab³d ab² b²d b²d ab²d ab³ ab³ b³d ab² ab² ab² b²d b²d ab³ ab³ b³d b³d b³d ab²d b²d b²d b²d bs ab³ b³d b³d ab² ab² b²d b³ ab³ bs b³d ab²s ab² b²d b²d b²d ab²d b³d b³d b³d ab² ab² b²d b²d ab³ ab³ ab³ b²s ab² b² ab² b²d b³ b³ ab³ b³d b³d ab² b²ds b²d b²d b³ b³ ab³ b³d b² ab² b² ab³ b³ ab³ b³ b²ds ab² ab² b²s bds b²d ab³ bs b²ds abs ab² ab² b²s bds b³ ab³ ab³ b² ab² ab² ab² b²s b³ ab³ ab³ b²ds abs b³d ab² b³d bds b³ t ab³ b²ds b² ab² b²s ab³ b³ ab³ t b²d ab² ab² bds b³d b³d ab³ b²d b²d b²d ab² ab² b³d b³ ab³ ab³ ab³ b² ab² ab² ab² b³d b³d ab³ ab³ b²d b²ds ab² ab³d b³d bds ab³ t b²d b²ds at ab² t ab³ ab²s ab³ b²d b²d ab² ab² b³d b³d b³d abds b²d b²d abs bs ab² b³d b³d b²s ab³ ab³ bs bs ab² ab² b³d b³d ab³ ab³ ab²d b²d abs ab³d ab³d b³d ab²s b²s ab²d ab²d abs ab² ab³d ab²s ab²s ab³ ab²d ab²d ab²d bs b³d ab³d ab³d b²s b²d ab²d ab²d bs abs ab³d t b²s b²s ab³ abt bs bs b³d ab³d at b²s b²d ab²d ab²d b³d ab³d ab³d ab³d ab²s b²s ab²d ab²d abs ab³ ab³d ab² ab²s ab² b²s bt abs ab³ b³d ab³d ab³d ab²d ab²d ab²d bt bs abs b²ds ab²ds ab²s b²s at b³ ab³ bs abs at t b²s b²d abds ab²d b³d b³d ab²ds at t b²d b²d abs bt ab³ bs ab²s ab²s ab² b²d bt abt ab³ b³d b³d t ab²d bds b²d ab³ abt ab³ b³d b³d t t at b³ bt bt b²ds ab²ds t b²s bds bds abds b³d b³d b²ds at t bds bds abds abt bs bs ab² at t b²s bds abds dt b²ds b²ds b²ds bdt bds bds abds dt ab³ b²ds b² t t bds bds st bt b²ds b²ds bst bdt bds bds bds dt b²d b²d at t bdt bds b³ abt st b²ds ab² at t bds b³d ab²s adt b²ds b²ds b²d abdt b³d bds bds dt bt b²ds ab² bst bs bds b³ b²s bt b²ds b²ds bst bs bds abds ab²s dt b²ds ab²ds abs abdt bs abds b²s b²s ab³ bt abs bs bs bdt st b²s b²s abt adt ab²d abdt bds abdt b²s b²s adt ab²ds b²d bs bs ab³ b²s b²s t bt abt bs bs bdt dst b²s b²s dt bt bs bs bs t b²s b²s b²s bt abs bs bs at st b²s ab²s ast ab²d bs abs abdt at b²s b²s ab²s ab²d bs bs ab³ t t ab² ab²s bt ab²d bs bs dst ast b²s b²s bdst bt bs ab³d bs t ab²s b²s b²s bt abs bs bs at t b²s ab²s ast abt bs b³d ab²ds at b²s b²s ab²s abt abs bs bs at t b²s b²s bt abs bs b³d dst

Monoid Structure