//2p-2+gcd(p-1,3) algebras
<a,b|bab-baaa,p^2a-xbaaaa,pb-baaa,class=5>(all x)(p=2 mod 3)
<a,b|bab-baaa,p^2a,pb-baaa-xbaaaa,class=5>(x ne 0)(p=2 mod 3)
<a,b|bab-baaa,p^2a-xbaaaa,pb-baaa,class=5>(all x, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b|bab-baaa,p^2a,pb-baaa-xbaaaa,class=5>(x ne 0, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b|bab-baaa,p^2a-xbaaaa,pb-wbaaa,class=5>(all x, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b|bab-baaa,p^2a,pb-wbaaa-xbaaaa,class=5>(x ne 0, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b|bab-baaa,p^2a-xbaaaa,pb-w^2baaa,class=5>(all x, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b|bab-baaa,p^2a,pb-w^2baaa-xbaaaa,class=5>(x ne 0, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
