//p+1+gcd(p-1,3) algebras
<a,b|pa-baa,pb,class=4>6.420
<a,b|pa-baa-babb,pb,class=4>6.421
<a,b|pa-baa-wbabb,pb,class=4>(p=1 mod 3)6.422
<a,b|pa-baa-w^2babb,pb,class=4>(p=1 mod 3)6.423
<a,b|pa-baa-xbabb,pb-babb,class=4>(all x)6.424
