//2p + pgcd(p-1,3) algebras
<a,b,c|cb,baa,pa,pb-ca-bab,pc-xbabb,class=4>(all x)
<a,b,c|cb,baa,pa-babb,pb-ca-bab,pc-xbabb,class=4>(all x)
<a,b,c|cb,baa,pa-wbabb,pb-ca-bab,pc-xbabb,class=4>(all x)(p=1 mod 3)
<a,b,c|cb,baa,pa-w^2babb,pb-ca-bab,pc-xbabb,class=4>(all x)(p=1 mod 3)
<a,b,c|cb,baa,pa-xbabb,pb-ca-bab-babb,pc+2babb,class=4>(all x)
