//(3p+1)/2 algebras
<a,b,c|ca-bab,cb,pa-bab,pb-baa,pc-xbaaa,class=4>(all x, x~-x)
<a,b,c|ca-bab,cb,pa-bab,pb-baa-xbaaa,pc-ybaaa,class=4>(If 2 is a square mod p and y^2=2, x ne 0, x~-x, y~-y)
<a,b,c|ca-bab,cb,pa-wbab,pb-baa,pc-xbaaa,class=4>(all x, x~-x)
<a,b,c|ca-bab,cb,pa-wbab,pb-baa-xbaaa,pc-ybaaa,class=4>(If 2 is not a square mod p and wy^2=2, x ne 0, x~-x, y~-y)
