Details Page for 0.1347

Complete Solution is Known:

MSV File: q-0.1347.msv

Growth Pattern:

(Click on a heap to see details)

Details for Q₁₃₈₁(0.1347):

Q = <a,b,c,d,e,f,g,h,i,j,k,l,m,n | a²=1, b³=b, c³=c, bcd=abc, d²=b²c², be=abc, de=b²c, e²=b²c², bf=bd, df=b²c², c²ef=ef, f²=b²c², bg=bc, c²dg=dg, ceg=dg, fg=aef, g²=b²c², bh=abc, c²h=h, dh=b²c, eh=b²c², fh=ef, gh=ab²c², h²=b²c², b²i=i, di=ac²i, ei=aci, fi=ac²i, gi=ci, hi=aci, i²=b²c², bcj=abc, bdj=bc², c²dj=dj, ej=cdj, fj=cef, c²gj=gj, dgj=ef, hj=b²c, ij=ac²i, j²=b²c², bck=c²i, bdk=aci, c²dk=dk, ek=cdk, c²fk=fk, c²gk=gk, dgk=cfk, hk=abc²i, ik=bc, jk=abci, k²=b²c², b²l=l, c²l=l, dl=al, el=acl, fl=al, gl=cl, hl=acl, jl=al, kl=bcil, l²=b²c², b²m=m, c²m=m, dm=am, em=acm, fm=am, gm=cm, hm=acm, jm=am, km=bcim, m²=b²c², b²n=n, c²n=n, dn=an, en=acn, fn=an, gn=cn, hn=acn, jn=an, kn=bcin, n²=b²c²>

P = {a, b², ac, ac², b²c², abd, ce, acg, ac²g, aeg, ch, abi, cj, gj, ak, ab²k, ac²k, dk, fk, acgk}

Phi = 1 a a 1 bc bc abc abc b b a ab²c² c b²c bc bc abc bc² bc² d ab²c² c²g b²c e abc abc bc² bc f ab²c² g b²c h ab²c bj bc² bc abc² i c²i ac²i b²c bci bci abci bc bc² abc² ab²c ab²c b²c j ab²c² k bc² bc² abc abc ab²c b²c b²c ab²c² ab²c² bc² bc² bc bc c²i b²c b²c ab²c² ab²c² bci bc² abc bc bc c²i c²i ab²c² ab²c² bci bci abci abc ac²i c²i c²i ac²i ab²c bci bci bc bc abc abc bc² bc² ab²c² ab²c² b²c b²c bc bc abc bc² bc² ab²c² ab²c² b²c b²c ab²c abc abc bc² bc² ab²c² ab²c² b²c b²c ab²c ab²c abc² bc² bc² abc² c²i c²i ac²i b²c bci bci abci bc² bc² abc² ab²c ab²c b²c b²c bci ab²c² bc² bc² l c²i ab²c b²c b²c ab²c² ab²c² bc² bc² l ac²i bc b²c b²c l ab²c bci bc² abc l c²i bc ac²i bl ab²c bci bci bc²i bc²i c²i c²i ac²i ci ab²c bci bci bc²i bc²i l bc² bc² ac²i ab²c² bcl b²c b²c bc²i abc l bc² bc² ci bcl b²c b²c ab²c bc²i l bc² bc² ci ab²c² ab²c² b²c ab²c ab²c abc² bc² l abc² c²i c²i ac²i bcl bci bci abci abc² abc² c²i ab²c ab²c ac²i bl abci ab²c² bc² l l abc ab²c ab²c bl abcl ab²c² bc² cl l l bc b²c bcl bcl abcl bc² bci l l c²i c²i aci abl ab²c bci bci bc²i bc²i c²i c²i ac²i ci bl bci bci abci abci bc²i l ci bc² bcl bcl abl abci abci l l abcil ac²i ci bcl ab²c abcl bc²i bci bci l acl ci ab²c² ab²c² bcl abc²i bci abc² l l aci c²i c²i ac²i abc²i bci bci abc² abc² aci aci ab²c ab²c ac²i bcl abci bci al l l ab²c ab²c bcl bl bl bci bc² acl al ab²c ab²c c²i bcl bcl ail bc² bci abc²i l c²i bc aci bcl bcl bci bci abci bc²i c²i c²i aci ac²i bcl bci bci abci bc²i bc²i l ci ac²i bcl bcl abl abci abci cl acl abcil bc² ci abil abcl il bc²i bci bci cl bc² ci aci ab²c² abcl abc²i bci bci l l aci c²i c²i ac²i abc²i bci bci abci l aci aci c²i ac²i ac²i bcl bci bci abci l l ab²c ab²c abl bl bl ab²c² bci bci cl ac²i c²i c²i abl bl bcl bc² bci cl al ab²c c²i ac²i abcl bcl bci bci bc²i bc²i c²i c²i aci ac²i bcl bci bci abci bc²i bc²i l ci ac²i abil bl bcl abci abci cl cl al bc² bc² abcil m il bc²i ab²c ab²c cl bil ci ab²c² bl abcl abc²i bci ab²c l l aci c²i c²i abc abc²i bci bci abci l aci c²i c²i ac²i ac²i bl abci bci acl l l abcil ab²c bcl bl abci abci bci acl cl cl c²i ab²c m m abcl bc² bci al l c²i c²i bcil abcl bcl bci bci bc²i bc²i c²i c²i aci ci bcl bci bci abci bc²i bc²i l ci ci abcil m il abci abci ail cl bcm bc² ci abil m il cil bci bci bcm bil abcil abil m abcl il bci bci cl cl abcm aci ac²i bcl bcl bci il abci l aci aci c²i ac²i ac²i bl abci bci acl cl bcm abcil ab²c bl bl m bci bci acl bcm abcil c²i c²i abcil m bl bci bci bcm bcm c²i c²i bcil m m bci bc² il bcm c²i c²i aci m bl bci bci bc²i bc²i bcm l ci ci abcil m il il abci ail bcm bm bc² bc² m m bc²i bc²i ail bci bcm bil aci abil am m bc²i cil acil bcm bcm aci c²i c²i m m abc²i il abci bcm aci abil c²i ac²i ac²i bl ail bc²i bci cl bcm ci ab²c abl m cm abc² abci bcm bcm abil c²i abcil m m bl bci bci abm bcm c²i c²i bcil m m bci bc² bcim bcm bcm aci aci abil m bci bci abc²i ail abcm bm aci aci abcil m m il bc²i ail bcm bcil bc² ci cm m il bc²i cil bci bcm bil abcil abil cm m il ail bci bcm abcm im bil ac²i ac²i am abc²i il bci bcm aci aci bil ac²i ac²i acil bci bci cil bcm abil abcil ac²i m m am abc² abci bcm abcm abil c²i bcil m am ail bci bci abcim abcm abcil c²i bcil am cm bci bci bcim bm bm aci aci abil am cm bci abc²i abcim abcm bcm bcil ci abil m m il bc ail bcm bcil bc² abcil acm m il cil ail abm bcm bil bcil abil cim cm il cil bci bm bm abcm aci ac²i ac²i cm abc²i il il bcm aci aci bil ac²i cl bim acil bc²i bci abcm abm abcil ac²i m cl acil bci abci bcm bm abil ab²c bcil abcil cl ail bci bci abcm abm abil c²i bcil cm cm bci bci il bm bm im aci abil cm abclm il il abcim bl bcm bcil bcil im cl il il bc²i abcm bl bcil bc² im m cl bc²i il bcim bl bcl abcl bcil cim cl l il il acil abcm abl im abcil c²i cl abclm l il bcl bcl clm aci ac²i ac²i cl bclm ail abci abci abcl abcl ci ac²i abc l al abc² abci abcl abcl ab²c ab²c im cl l bci bci bcim abm bcl c²i c²i im l acl abim ail bcim bm bl im aci cim cm acl abcim bcim bim bcl alm abil aci ci l abclm abcim bc²i ab²c² bl bl aim im cl l bc²i bc²i abm bl bcl abcl ci cim cl acl bcim bci bci bl lm im im aim l l abc²i bci bcl bcl abcl abcl im ac²i ac²i al bci bc²i abim bcl abcl abil ci abc l al abcim abci abcl bcl bcl ab²c im al l l bci bcim lm bcl acim im abc² l acl ail bcim bcim abcl bl im aci abc² l l abcim bc²i abc²i bcl ab²c² im ci ci l bclm abcim b²c bc²i bcl ab²c² bc² ci cl l acl bc²i bc²i bl bcl ci ci cim cl l bc²i bcim abcim bl abcl abl aim c²i l l abim bci abcim bcl bcl c²i c²i aim l al bcim bc²i abim bcl ab²c im ci cim abc al abcim bcim ab²c² bcl bcl ab²c im al l l abci bcim b²c bcl acm im aci l abc² bci bci bcim abcl bl ab²c² im abc² l l bci bcim bc²i bcl ab²c² lm ci ci abc bci bci bc²i clm abcl abcl ci ci cl l abc² bc²i bc²i bl ab²c abcl im cim cl l acl bcim bim bl abcl abl cim cim l l bim bci bcl bcl abcl cim im c²i l bci bim bcim abim bcl ab²c c²i im abclm l al bcim bcim abcl bcl bcl ab²c im al l abc² abcim bci b²c bcl acim im im abc² abc² abclm bcim ab²c b²c bcl im im acl bc² l bci bcim ab²c bcl bl lm im ci l bclm abcim bc²i clm abcl abcl ci ci cl abc² acl bcim bcim ab²c ab²c abcl im cim bc² l bcim bcim abcim ab²c abcl abl cim cim l l abim bcim bcl bcl abl abcl aim c²i l cl bclm abcim aclm bcl ab²c im im blm l abclm abcim ailm abcl bcl bcl im cim al l cl bm bm abcl ab²c aclm im im abc² bclm abcim bcim bcim abl ab²c im c²i acl l l abcim bcim bim bcl lm im im bcilm l cl abcim bc²i clm bcl bl aim im cl l ilm bcim ailm bl bcl bcilm im im al l bcim bcim ailm bl abcl im aim abcilm l l abim bcim abcim bcl bcl im aim aim l al bim bim m bcl abcl cim cim blm l n bcim bcim abcl bcn bcl im abcilm bcilm n acilm abcim abcim cilm am aclm im im l n ilm bcim ab²c abcl bcl im im cim l l abcim bcim abcl bcl bl aim abcilm im n n cilm bim ilm bcn bcn aim im cl cl n ilm ilm bl bcl bcilm cim abcilm n n ailm bim alm bcn bcn abcn cim bilm cl l lm bcim bcl bcl bcn bilm cim bcilm l al abim acilm bcn bcl abcn cim im abc²i al cn bim bcim m bcn bcn bilm abcilm abcilm n acilm bcim ilm abcn bcn bcilm im abcilm l n n ailm abcim bcn bcn im im abcilm n n abim abim ailm bcn bl aim abcilm im n cl bim bim abcn bl bn aim acim cl cl abcim cilm cilm bcn bcl bn cim bilm cl alm acn cilm cilm abclm am abn cim in abcm n abim bcim abcim bcn abcn blm cim aim n bm abim abim bcin m bcn bcilm bcilm abc²i n lm acilm bcim aci abl ablm abilm abcilm bcilm alm alm bcim bcin abn abclm im bilm bilm n alm alm bcin ailm abcn bn im acim in acl acl abcim bcin ailm abcn bc²i bclm abcilm in an cl ilm bim abcin bl bclm in in cl lm ilm ilm bcin abcn abcn ab²c² cim abilm abm lm clm acilm bcin bl cm cim in in bcm cn abc abim bcl abl blm abclm in ail alm alm abcim bcin abcin acm abclm abilm in abcm cn lm bcin bcim abn bclm abclm in in cl alm alm bcim bcin abin ablm bilm acil in lm alm alm bcin bcin cm acil ablm in acn clm alm alm bcin abcim abclm abclm in in acn clm alm abcin abcil abcil acm bclm ail in in lm aclm abin bcin bin m blm in in abm abm bcln bcin bcin abn am am ain cn cn abc abc bcin bcl acm abclm abclm in alm alm lm bcin bcin bn bclm b²c in in abcm lm abcil bcin abil abil bclm bclm acil acil cn lm alm abcin bcin ln bclm im in in bm abcm alm abil abil bn acil acil in in alm alm clm bcin bcin ab²c² bc²i in in bcln lm lm bc² abcil bin ab²c² ab²c² ail in cn bcm bc² abcil abil ab²c blm ab²c² cn cn lm lm clm abil abn cm ab²c² ab²c² ain acn abcm abc abc bcin abn ab²c bclm abclm in acn abcm lm abcil abcil abcin abclm bclm ail in abcm abcm abcil abcil bcl abil bclm ail in acil acil lm alm abil abn ln bclm aln acil cn bm bcm abil bil bcin ln bclm il il in lm lm abcln bcin bcin bclm cm in in bcln abcm abcm abil bcin abcil m acm in in bcln bcm abil bc bcin iln bclm m il il bcln lm clm abil bcin cm cm blm acil in abm abm abil abil bcin blm bclm cln cn in alm lm bcin bcin abcin am bclm in acil ain abcm abcil bcin bcin abcin m m in abc acil abcm lm abil bcin cln m ln in in abcm bcm abil abil m am am ln acil in abcm abil lm bcin bil cm cm in in cin abcm abcm bcl bcin am am cil acil in abm bm bil abcin bcin ailn cln cln in in bm abcm bln bcin bcin am am bciln ain in bcm abm abcn bcin abcin cm bclm in in bln alm abm bcin bcin cm am abclm in acil abcm abcm lm bcin bcin bclm m abclm in in abcm abcm abm abil bcin am am acil in in abm bm ciln bcin cln cm am ain in in bm abcm abcln abcin ailn am cm in in abciln bm abcm iln abil am am acm in in abcm abcm abm abcin bcin am cm abclm bciln abciln abm abcm mn abcin bcin m cm blm in biln bcm abm lm ailn acln cm cm abciln in clm abcm abm bcin bcin cm m bclm in ain abcm bcm bcm bcin bcin m m acm in in abcm bcm abm bcin bcin m m acn in abln bcm bcm ciln bcin ailn cm m acn in cin bcm abcm abn bcin abclm am acm in cin abcm bcm abm ailn bin am m cm in in lm abcm abm bin ciln m m abciln abciln biln bm abcm mn aln ciln m cm abciln in biln bcm lm lm bcin aciln am am abcln abciln abciln abcm abm aciln bcin cm m acn biln in ain aclm bcm bcin bcin m m bclm in in bm abm clm bcin bcin am m bcim in abln abm abcm alm abcin abclm m m bcmn bciln cin bcm abcm cln bcin bmn cm cm in cin abciln bcm mn aim bin am m acm in in abm abcm mn abcin bcin m m abciln abim bciln abm abm ln abcilm cim ciln blm am cin biln bcm abcm lm bcin bcmn am am abciln abim clm bcm bcm bcilm bcin cm m bcmn abcim abcim bm abm abcm acim bin ablm m abclm abcim abcim mn mn alm im bcin bcmn m bcln in abim lm abm alm im iln bcmn m cilm bcl mn clm cln bcin bcin bcmn blm abcmn acilm bcim abim bm acmn cim aim abcmn bclm acilm in in bcim bcm ln im im cm abcmn abciln bim bcim biln abn acim im aim blm blm abcim bcim abl abn aln acim bcin bcin cm abcln bim bim ilm amn amn im im abclm bcmn abln abcim abcim abciln aln abilm cim acim acim bclm bclm bcim abcim ailm aln im ab²c ailn abcmn acn acn bcim abcim cmn abn cim im abcmn bcmn blm bim abcim abcim cmn clm cim cim abimn abmn abln abcim bcim acmn cln abn aim im bln bln abcln bcim bcim amn cln ln im im bmn bln ablm bcim bcim bci abn bcn im aim an blm abcim abcim bim abcn aln aim im abcmn bln bcln abcim abcim acilm abcn aln aim im ci abcln abcln bcim abcim cilm ln ln im im acim abcmn bcln bcim abcim cln aln bcin im abcilm abcmn acn bcim bcim abcim abcn ln cim aim acim abcln acn bim abcim acmn ln abn aim im abcmn acn abcil bim bcim abci ln ln aim im bln bln ilm bcim abc²i cln ln abilm im im bcln bc²i bc²i bcim bcim cln ln acim im aim n an abcim bcim bim abcn ln im im c²i abln bcln abcim bcim bc²i abcn abn aim im n n bcln bci bci cilm ln ln im im acim bmn ilm bcim abcim abcn aln bcin c²i abcmn n an acn bcim abcim abcn abcn cim im aim bcln acn bim abcim acilm ln abn cim ci abcmn bcln bc²i bc²i abcim abim abn abn aim im bcin an acilm bcim bcim abn bcn abilm im im acn cn abln bcim ailm ilm abn acim l cim an bcln abcim bcim bcim cln ln im aim abilm abcln acn ail bcim amn abcn ln aim im im n acn abcim bcim abim ln ln im im ci bcln bcln bcim abcim cmn abn im im acim an aci bcim bcim abcim bcn abcn cim im bmn cn cn bim bcim acilm bcn abn aim aim bcilm bcln cn abcim bcim bcim abn abcn cim cim abcilm an cn bcim cilm cilm abcn abilm acim aim abcil an abim bcim bcim cln bn acim im cim abcil an abcim bcim imn bcn abcn im abil abcilm acn an abcim bcim cimn abcn abcn aim cim bimn cn acn abcim ilm cilm bcn bn im im bilm acn bcln bcim abim bclmn bn im im bilm cn aci ailm acilm abcim abcn abcn im im aim an cn abim bcim acilm bcn bcn aim abilm abilm cn acn cilm bcim acilm bn abcn cim abcilm abcilm an cimn abcim abim bcim ln ln abclm abcilm bcimn acn abim abim bcim abn abn bilm acim abcilm an an cilm bim ailm bn abn im im abcilm abcln an abcim abcim acilm bn abn abcilm im abcln an cmn bim ail cilm abcn abcn im im bilm acn ilm bcim imn aln abcn bn im abcilm abcln acn bcim bim cilm abn bn cim im abilm lmn cn abim bcim ln abmn abcn abc aim abilm an aclmn ilm bcim acilm bn abn aim abcilm bln an cimn bcim bcim ln ln abilm cim bilm bln bln cimn bcim bcim cln ln im acim abcil abcil bln cilm bcim abcim abn ln ln abil abcilm abln cn abcim bcim abcmn cil cil bcil im im bil abcln bim bcim cilm cil bcmn bcilm im abm acn mn bcim cilm cm abcmn im im abcilm amn abcm cimn cilm cilm ln am abcilm aim aim aclm abcm imn bcim acilm am cln aim aim ain aclm cimn cilm bcim ablm abcmn abcmn cim cim abciln bln acn bcim l cilm abclm abilm abilm abcil abcil abcln cimn bcim bcim ln ln bilm abcil abcil alm abcm cilm ailm imn abclm abclm abcilm bcilm abcil abcil bcln amn bim bcin m bclm abcilm im ain abcil abcm mn bcim cm cil acm abcmn ab²c abm abm clm bcim cilm m m abclm im bilm abm abcm abcm cilm cilm acil am ablm cim cim abcm abm cilm bim ln abclm abclm cim ilmn in abm lm cimn abcin ablm ail abclm abcmn abciln ain bcm abcm acimn abcin m cm abilm abilm in abcil bcm bm cilm cilm m m bilm bilm abcil bl abcm cilm cilm acil am cm abiln ain abil abcm abcm abin bcin ail m acm abiln abciln lm bm abcm abin bin m cm acm bcilm in bil bcm abcm ilm abcin cm m am abciln bcln bm abcm abcm bcin acil cm am abciln acin abcln bcm bcm ciln ailn aciln am cm abmn abiln bcln lm lm bin acilm ln cm m abil abilm abcm bcm aciln acilm bcin ail m abiln ain abciln clm bcm bm ailn ail am am ain ain abciln bcm abcm cimn ailn ail cm m abiln abil abil abcm abcm amn bcin ail m m abiln cin

Monoid Structure