nM(a)~w+1(a)
M(a[])ln~w+2(n)
NM(a[])ln~w2+1(n)
LM(a,b,c,d)~w2+2(d)
LM(a,b,c,d,e)~w2+3(e)
LnM(a,b,c,d,e)~w2+4(n)

cM(a[])L2(n)~w2+3(n)
cM(a[])Lf(n)~w3(f)
LM(a,b,c,d,e,f)~w3+1(f)

LM(７変数)~w3+2(g)
LM(a[])~w4(a.length)

ループ拡張->+w4
l[n]~+w4n
ll[1]=l[a+w4n]=w4(a+w4n)
ll[n]=w^2+1[n]