Details Page for 0.0702

Complete Solution is Known:

MSV File: q-0.0702.msv

Growth Pattern:

(Click on a heap to see details)

Details for Q₉₁₃(0.0702):

Q = <a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u | a²=1, b³=b, b²c²=c², c⁴=c², b²cd=cd, c²d=ac², d²=c², be=c², c²e=bc², de=abc², e⁴=e², cf=c², b²df=df, f²=c², b²g=g, cg=c², dg=ac³, eg=bc³, fg=c², g²=c², b²ch=ch, c²h=bc³, dh=abc³, ceh=c², e²h=e³f, b²fh=fh, efh=c², gh=bc², bh³=bh, ch³=ch, fh³=fh, h⁴=h², bi=c³, ci=bc², e³i=ei, fi=bc², gi=bc², hi=c², i²=c², bj=c², c²j=bc², dj=abc², ce²j=bc³, e²fj=bc³, gj=bc³, hj=efj, eij=bc³, j²=e³j, c²k=ac², b²dk=dk, dfk=acd, efk=ace, fhk=ach, dik=bc³, cejk=aij, e²jk=abc², fjk=acj, ik²=aik, cdk³=acdk², cek³=acek², fk³=ck³, gk³=agk², chk³=achk², cjk³=acjk², ck⁴=ack³, dk⁴=adk³, ek⁴=aek³, hk⁴=ahk³, jk⁴=ajk³, k⁵=ak⁴, b²cl=cl, c²l=ac³, dl=c³, el=ae³f, b²fl=fl, gl=ac², b²hl=hl, ch²l=cl, fh²l=fl, h³l=hl, il=abc², jl=abc³, fkl=acl, ck³l=ack²l, k⁴l=ak³l, l²=c², bm=bh²l, c²m=ac³, dm=c³, gm=ac², chm=chl, fhm=fhl, e²jm=abc³, fkm=acm, ck³m=ack²m, k⁴m=ak³m, lm=ae²fm, m²=c², b²n=n, c²n=bc³, en=c³, hn=c², in=c², jn=c³, k⁴n=ak³n, ln=acdkn, mn=abc², n²=c², b²co=co, c³o=co, b²do=do, cdo=aco, ceo=bco, e³o=eo, fo=co, go=co, bho=co, cho=bc²o, eho=co, h³o=ho, io=bco, jo=bc²o, cko=aco, bk²o=abko, dk²o=adko, k⁴o=ak³o, lo=aco, cmo=ac²o, no=bco, o²=c², bp=c³, cp=acjm, dp=abc³, fp=afjm, gp=bc², hp=aefjm, ip=aijm, jp=c³, e²k²p=e²i, k⁴p=ak³p, lp=abc², e²mp=mp, k²mp=e²im, np=c², op=bco, p²=c², b²q=q, cq=bc³, dq=acdkn, eq=c², fq=bc³, gq=bc³, hq=c³, iq=c³, jq=c², k²q=akq, lq=abc³, mq=abc³, nq=c³, oq=bc²o, pq=c³, q²=c², b²r=r, cr=bc³, dr=dfn, er=c², fr=bc³, gr=bc³, hr=c³, ir=c³, jr=c², kr=acn, lr=abc³, mr=abc³, nr=c³, or=bc²o, pr=c³, qr=c², r²=c², b²s=s, c²s=s, ds=as, es=bs, fs=cs, gs=cs, hs=bcs, is=bcs, js=bs, ks=as, ls=acs, ms=acs, ns=bcs, ps=bcs, qs=bs, rs=bs, s²=c², b²t=t, c²t=t, dt=at, et=bt, ft=ct, gt=ct, ht=bct, it=bct, jt=bt, kt=at, lt=act, mt=act, nt=bct, pt=bct, qt=bt, rt=bt, t²=c², b²u=u, c²u=u, du=au, eu=bu, fu=cu, gu=cu, hu=bcu, iu=bcu, ju=bu, ku=au, lu=acu, mu=acu, nu=bcu, pu=bcu, qu=bu, ru=bu, u²=c²>

P = {a, ab, ab², c², e, ae², e³, abh, bch, bfh, ah², ab²h², adi, j, aej, ae³j, k, bk, b²k, aek, ae³k, h²k, b²h²k, ajk, ak², abk², ab²k², ek², e³k², abchk², ah²k², ab²h²k², jk², k³, bk³, b²k³, aek³, ae³k³, h²k³, b²h²k³, ajk³, ak⁴, abk⁴, ab²k⁴, acl, afl, ckl, acm, ace²m, afm, ae²fm, aehm, aeh³m, aeim, acejm, aefjm, aijm, ckm, ce²km, ehkm, eh³km, acek²m, ace³k²m, aehk²m, aeh³k²m, acjk²m, hk³m, h³k³m, bcn, abcdn, bfn, abdfn, bgn, abckn, bcdkn, ack²n, abfk²n, abgk²n, ck³n, bck³n, abko, bdko, k³mo, e²k³mo, h²k³mo, aemp, ekmp, bq, br}

Phi = 1 1 a a ack ack ck ck a c² b b ck c³ c d ac² c² e f g h i j k ac² c³ c³ ac³ aef ac² ac² bc² l m n c³ ac² ae³j c² bc² o ace³k p abc³ q ac² ac² abc² c³ ac³ abc³ ac²o abc² r ac³ abc³ c³ c³ ac² ac²o c² bc² c²o ac² bc³ abc³ afjm bc² ac² c³ c³ bc³ ac³ bc²o abc² bc² bc² abc³ bc³ c³ c²o ac²o c² bc² aco ac² bc³ c²o bc² bc² ac² aco c³ ac³ ac³ c²o c²o ac² ac² abc³ bc³ c³ c²o ac²o c² bc² co ac² c³ c³ bc² bc² ac² aco c³ ac³ ac³ ac²o c²o ac² ac² aco c³ c³ bc³ ac²o c² bc² co co c³ c³ c²o c²o abc² ac² co ac³ ac³ c³ c²o bc² bc² co bco bc³ bc³ ac²o abc²o bc² aco aco c³ abc³ bc³ c²o abc² aco co ac³ bco c³ ac² ac² bc² bc² aco bc³ bc³ ac²o abc³ abc²o bco aco ac²o abc³ ac³ bc² ac² aco abco co abc³ abc³ abc²o abc²o bc² bc² aco bc³ bc³ bc²o abc³ bc² abco bco bco s abc²o bc² as cs bco co abc³ abc³ c³ cs as bco acs bc³ c²o bc²o ac²o bc² bs bco aco abc³ abc²o bc² abc² cs abco co acs abs ac³ c²o bco abc³ aco bc³ as bc²o ac²o bc² os bco aco cs c²o c²o abc² abs abco co bco aos c²o c²o acs s aco aco c²o acs ac²o s as aco aco cs os c²o c²o abs s co bco os ac²o c²o bcs s aco ac² os acs ac²o c²o cos c³ aco abco c²o ac²o bc²o as s co bco cs abc²o c²o c² bc² abcs ac² os bos ac²o c²o cos c³ aco abco os acs c²o abs acos co aco cs ac² bc² bs bs abco ac² bco bos ac²o c²o cos cos bco os os bc²o c³ ac² cos bco aco cs ac² bos ac²o acos abco bco bco aos abc²o c²o bs c³ aco ac² c² acs c²o abc²o cos bco aco ac² ac² abc²o c² bs abcs aco aco bos bc² c²o bs acos bc³ ac² c² bc²o c²o c²o bcos s aco ac² ac² abc²o c²o abcs abcs co aco bc² bc² c²o bcos as bc³ bc² abos os c²o c³ abcos abc³ aco abcs ac² bc² bc²o bcos s co aco bc² bc² abc²o bs c³ abs ac² abcs bc² c²o abc²o abcos abc³ aco abco ac² bc² abc²o abc²o s bs aco bc² bc² acs t bc³ bc³ bco aco bos bc²o cs abc³ cos bco bc² abos ac² abc²o abc³ t acos aco bc² cs acs t bcos s ac³ bs aco abcs ac² abc³ abc³ bco bc² abc² aco cs abcs c²o c³ bco bc² cs acs t t bcos bco ct ct abcs cs ac²o bco s ct abc² bc² cs abcs c²o abc³ as co co acs t bc³ as as ct ac² ac² cs ac²o ac³ s s abc² ac² bc² bc² c²o abc³ as co at acs cs bc³ abcos abc³ bs ac² t cs bcs ct s s abc² ac² bcs bc² bt bs bs bos c² bc² bcs t c³ abc³ as abt bct cs bcs aos abc³ s as ac² cs bc² abc³ act as abs bc² bc² cs cs c³ abc³ acos bc² ac² c²o bt at bc³ cot as acos cs bc² acs t as ct bc² abcs bcs t c³ abc³ abc³ bc² abt cs ot at bc³ bs s act ac² abt abcs t as act ct abcs bot acs t abc³ acos bcos bc² bcs bcs abcs abt abt as acot c² abcs acs c²o t abt ct ct ac² t bco abc³ abt abc²o ot ot bcs abcs cot cot as as abct abos bco abt t abc²o cos aot aot ac² bco cot ac³ abc²o c²o ot abc² abt os cot bcot abc²o ot ct bco cs t abc²o bcot c²o aot st t c³ s as as acos abc² aos aco bcot ast abc²o ct ct bco co ac³ abt c²o c²o aot act os co s abc³ as ac²o ot aos aco cot st abc²o ac²o abt bc² aco abcot cot c²o c²o bcos aot os co bos abc³ cot cst cs bst co abcs as acot ac²o bcos aot abos os cot acot bc² cst abct ot c³ bos cot abc² bc²o bct abt st bco cot abc²o cos bcos bct bos bos abc³ cot bs aot acos ot co abcs abt cot as bot bst abot os abcst acot bc²o ot aot bco aco abos t bc²o s acos ot os aos abt cot as st bco acs os os bcot abcst bs aot act os os abt bcos as as t aost co cot cot acos bcos aot abos aos os bcot cos ac² aot bc² os abos abcst s cos acos ot ot os aos t abs acos bct abc³ abos os acot bc²o cos c²o act os os abcot bc² cos as as ot abcs abcs cot t bc² bs bct bos aco bcs at abt cos abot abct abos bos acot cos c²o as ct acs aco cot abc²o bcos bs bs st os os abt t cos aot abct ast abcot bc² bc²o cst acos ot s aco cot t abcst abt ot ast bos bos u abt s aost as co abcs acot t c²o abs abst bct bco aos abcot t abc³ aost bst abct bos abcot abcs t as ast st bct abcs abcst bt as bot bs bco aos ac² abcot bs bs au act cs abcost bc² t abcos abs ot abcs ast acs c²o u bs bct abst act ac² at acst ac³ abc³ act bct bcs abcs t bost abcos u u abcs acs bc² c²o bs bct st abco ac² abcst abt s abc³ u aco ac² ac² t bcot acos bc³ bct bct cs bc² abt ac³ c³ ct bc² cs cs abt u ac³ as bct acs ac² acu bcst as c³ ct abcs acs cot abt cst abc³ bct abct abcs acu abt bost s abc³ bct bst ac² acs bt abcos s ac³ abcs acs bc² bt cos abc³ abot act st cs abt u s abc³ bot abct cs acs acu bt s abc²o bst abcs ac² cs abt s ac³ acos bcost cs bc² at bost abc³ ct bct cs acu bcu t bc³ u bcost abcs bc² cu abt s abc³ u act bcs abcs abcs s abc³ c³ ast c²o acs cst t bost bc³ ct abot c²o cu t u bs s st cs bc² abcs bs abcos as ct ct c² acu aost abs s ct abct c²o bcs abcu bost s aost bct bcost cs ac² cot abs as u u acs cs abcot abs bs abc³ abc²o abcs bst bcs aos bs ac³ au ac²o acs c² t au bost abc²o abot abcs aos bc² abt bs bs abc²o act abcost abc² acot cot abc³ bc²o ac²o cs bc² bt bt as abost u cost cs bos bco abcot bs abct bct cu acu abt cst bs c³ ot abcs abcost os bos acot u c²o bct ac² t abcot abt s abc²o acos bcs acu abos acst cst c³ bc²o ot ast aos cu abco bs bcos bct abot aos bcu aco u abc²o bot bcs bcost aos bco acot acos bcos abot acs cu bcot cot abcot cos bcost aot cu bco abcot aost au abc²o bcs ot bc² os bs abcos acos abcs aot bc² bos bcot cst cos cos aot bcs abt cot cot acos acos bcs ot os aos bcot acot u abc²o bot abst aos bcot cot bcos cos au bst acs abos acot cot abcos ac²o ot aos bco ou acot u cos bot abot aos bcu acot bost cos au st acu abos bou cot abcos bc²o ot abcost os ou cot u as abc²o abst cs bos acot acst cst abu ct abst os cu cot acou acos cou bcost aco au bcot bcst cos bcos aot bos abos abcot acot bcos abc²o bcu abot abos cu aco acst cos cou bu act aco u u cos cos abcou abct abos bcot acot bcos abc²o abot act aos bos cot bt cos bcos ot abos bos bcu abt cos cos aot aot abc² os abcu abc²o bcos acos bct bct bc² cot bt ac² bcos ot abst st cu abt abt cos aot bcost st aos abcu bcst c²o acos abot ast os bcs bcst aost u ot st abct bos abou acst bt au st abct aou abcu at t bu abs ast ast bcot acu abcst abt bs au bst cu cu bcs su aot st bct acu bcot bou t cou acos abst abct aou acu acst cos bs au act abct os acu t bcos abu bst st abcu aou bt abost acos bot st act bcost bou bcst cou abcou bst cost acu bost cst acst au bst acost abcs ou bcu t au u abst abct bcs abcu bcst ost au bcost ct aou bcs abcs t acos abcou st aos acs acu t aost u ast ct aos acu at cos abu act ct bco acu t t abost s ct aos bou cu t at u abcsu act bst cu t abt abu u abct bct acu acu bc² abcst bs acsu acsu abct bcs su ac² as bs st bos cu abcu t abt au csu abct bou abcs bt abost abost u acost abst cost bcs abt bs as csu bcost bcost cu bcst abt au u act abst abcs acst t abost u ct bct acs cost bcst as bs au bct st acost abcu abt bs as ct cs cs acu abcot u u bu bcsu cost bcs at su s au abu cs bcs cu bou t as csu bct bou acu at ost abs as ct ot cu aou abos bs abu ct bcost cs acost su s abs act ast ast acs aou at abs abs act abot cost cs cst bcot acou bst aosu bcs c² su s abcot cou cou aot abcs acu bsu bs bost bct act bcs cs bcst bt as c³ act abct abot cu cot bs abs u bot bcs acu asu ost bost au abot cs cu acu ost as abcou csu ot abcs bcu abost cot s u acou ot bcost cu co ac³ cou csu aot abcu acu ost acot acos u abcost aot cs su ost cot u acou abot tu acu bc² acot as au cost bcs aou cu aost bs u csu aot abcu acu abost abs u abst cost ac² cu aou ost cot u cost bcs abos cu aos abost abcou csu ot ac² abos absu cot s abcou bcost bot cu bou bost ost abu cost ot acu acu abcot aost u u abcs aot bos aou ost abcot au au bot bcost bcu ost bcot s abcos cost ot bou aost acot abcou cou acost bot bcu ou bou abcot abcou bcost aot ot act bcu abcot abcot cou aot bcost bou cu os acosu acou acou abcost os aou bsu acot cst cou cost abot abcu bcu cosu bcos cou bu aot abos abos bcu aost cos u bcos tu aou bos absu bcosu abu cou bst tu abou bost cot abcou abcos bot bot bcu acu cosu abcosu cst bot bot ct aou abcot as acou au ot abos acu aou abcot acos acou acsu acost abos bct co acos bcou abu osu cost aou bost bt t acou cou abot ast su bost acst bcos u bct act aou bou cst cos abu bot st aos ou cst cos abcos cou ot abos acu asu acst abt bcos abst aos act bcu cst t acou au ct aos bou bost at bt abu act aos abcs ou acst t cou acsu aos abco aou cst t aosu abu abct abct abcost acu bt t abcos csu ct aos ou bcst abt osu u bst os aou asu abt abt abcou cost act act bcu acst t abcou au abos act acu abcst acot bcos u bst act aou cu abt bcos abcou u act act acu cosu cs bosu u ac²o ct bcu absu bcos abt acsu abu abos act cu abcst abt t u csu os ou bcu abcos acos au abu co abc² bcu acos at abctu abu aco act cu acu abt acou abs bcsu act atu cu bt abcos cou bu acsu ct cu acos t abcou cou bst act atu acu acst cos u u bct ct ou bcu t bcst abu bct tu aou bcu su bt csu u act act bou abt acos abs u st act btu bcu acst as cou bu act bst asu at at bctu u bst tu bot cosu bc² t abu ast ct ct abot bcst ctu ctu au bct act bot abou t actu csu csu st bct ou ac² bt bctu csu ct tu bou bcu t s acsu csu st bot abcs su as abu abct abct acs abot asu abt ctu abu aosu tu btu t bcst at cot u csu abcs abcs su bs t au abst cs bcos bou aost abs abcot u bot cs bou su at cot cot cost abct acu bcu bs abs aost cou acs acs cu bsu acot bcot abcou tu cs bou su acot as abcou csu cs aot bou bcst as aost au bct abcs aot absu abcot bs u abcou bcs ot aou ctu ost cot u cs ot bcu bsu t as abcot osu ot bot cu as as bost abu bcs ot acu bcosu abc² abost u cou cs abcost bou s cot abcou acsu ot aot acu abost acot abcot abcou aot abcs abcosu acu as cot bosu cs acs cotu acu bou as csu bu bot abcs aot bcu bs cot abu acou cs aot acu absu cot abu cou cs bcs bcosu su as abcot acou btu cs abot absu acot cot abosu csu abot ot absu bs bs cot u bot acs cotu bcu as ac³ acot abu aot aot bcu su ost au abcou cs bc² bou aou aou c³ u cou acs abc² su ost as u abu abcou abc² cosu asu s cot acsu abcs aot acost su bc³ abs botu abu ot bot bos acu cot at acou csu aot abct abcu abcot cot abu bcsu bct bot cosu abou as bs aosu ot bot tu as aou abt t bu aot abos su bou bcot acst csu acost bct ct abcu bcot cot abt u bot abct acu acu abt at cs abot act bcosu cosu bctu cot cs cou cotu abct as as cot abt bcsu osu act act abs abt abcst t u abtu ct bs bcot abt cs cou ot bct asu cu bcos abcst abcs abcou bos act abou bctu abt t cs abos ct bs ou cot t bcsu aosu bct acost cu cot abcos abcs u os act ast bcu cst acst csu acou abct bs absu acst at abt bcsu tu abct absu su at at cou acsu os act su aotu bt abu acsu abos ct asu absu bc³ bt acsu abosu bos as cu acos at abcsu cou bct abos acu su acos t bcou abos ct acosu ou t at cou abcou os act bcu ou abcos t abcou os abos abst bcu bt acos acsu os co bst acu acosu t acou acsu os act otu bou ac²o t cou bos aco ct bcu abcos t acst abcsu aco act asu acos c²o t cou au aos act bou cos at abcst bos abos ct bcosu bou t cst acsu abos abco bst bou c²o bcos acsu abu bos bct acu at bc²o osu au os abos acosu bcos acos bt cst aos co abot ou bcos abc²o abt csu aos bct absu abou bt t u abos ct atu bcu abcos bt cst aos aos act aot abt abc²o bcst csu au act bot abcu ac²o t bcsu os abos ct absu acos bt abt ost bos aco st acos t abt cot bos aos bct asu bcos acos bcot u bct abct aot acos actu ac²o abctu abos aco aot bsu abou cst ctu abcsu abco bct cos bcos acosu cot abu osu atu aot acu bou at aos abos tu abct bot at bcos abcst csu abu ct ot bcu abctu bt acot bct cotu aot bcu bcos bs abt bcou os abst bot abcost bctu cot cot abos abcs ot bou bou bt s ost aosu cost acos acu acu abt acot os tu ot abcost abcos cot abcot acou bct ot ot abcu cot aost aos acsu act aot abot cot acot acot csu abosu bct aot su t cot acsu bcsu abcs aot cost bcosu ost cot au tu aot cstu acu abotu t aost atu abcs bot su ctu t cot bu abcs ot bcu bcu bs cot au cou aot ot acu bs at abcot u cost ot bot su bs abcst bu csu bcs aot cost bcot bs ost abcou bcs abcs cosu bou abs cot au abcs abcs bot cotu aost t bu abcou bot aot bcu bou bcot cot acsu abcs ot acu bsu abs c³ au osu bcs cost bcu as cot acot u abcost ot bcotu bcu cot cot osu u ot bc² su as bc³ cot u acs cost cost bou s cot abt acs cs abct acu s abc³ bu bcs abot ct acu as aost bcot au acs acs abct acu bctu abc³ osu osu cs act abcu cosu cot abcot abcou abcs bot acost bcu absu cot u acsu bcs cost bcosu bs bctu bctu u abot bot bct abcu abc³ ost abcsu cs abot bct asu abcosu bost otu au bot act act su abcot at u cs aot ct su bs abcot bcst abcou abcs ct abct as as aost at bcs bos atu bs otu t abu csu bos ot asu abcosu t acst osu osu act abct acu acosu abcst acsu acou aot act su cosu t t bcs cotu cotu bct acosu as bt botu abcs cotu abct abs acosu bcst bost acou abcou act btu aou at t cst osu btu act abcu abs t t abcsu bosu ct ct asu at ctu bcst abcs st ct bcos bcosu cst bosu osu bos bct cstu cosu abt at abcou osu ast abs acu bs bcos bcst abcs act ct bct cosu acst t cou bcou bct abct su botu at bctu abos btu abs acosu abcos bcos at acs aosu ct bou abcu abctu abcos acs abcsu abos abct su aou bctu abt bcsu abcou bco act acosu otu t abcs acou abct ct bou abotu cst acst acou atu abct acstu su bcos cst abcsu bcsu abct act bsu abctu bcos bcst abcou aos st aou bcu bstu bt abcsu acou abst abco absu abou cos abctu abcsu abco abct bou cosu c²o acst csu os ast ast cos abcos abc²o abcot aos act act abcu aou at ac²o aosu acsu act st abcu cos t csu bcou aos abst bsu aou acos bcst abosu bos act cotu abou acos ac²o abcou aosu st act cosu cos c²o csu osu bcou co su acosu t acst bcsu abos ct atu abcu su at abosu acou acotu abst su ou bcos bcst acou cou ct abot aou acu bctu csu aos bst abco asu abcos bcos ctu acou aosu abst acotu ou abcos acst acot bos abos tu acosu ctu abcos abcot acsu osu aot abst bcos cos abotu bcsu abos u bot abou cos ctu aotu bos aosu abos bot acos bt at abotu aos btu btu cstu cos ctu cot bu

Monoid Structure