//(5p + 7)/2 algebras
<a,b,c|bab,ca,cb,p^2a,pb-baa-xbaaa,pc,class=4>(all x, x~-x)
<a,b,c|bab,ca,cb,p^2a-baaa,pb-baa,pc,class=4>
<a,b,c|bab-baaa,ca,cb,p^2a-xbaaa,pb-baa,pc,class=4>(all x)
<a,b,c|bab,ca,cb,p^2a,pb-baa,pc-baaa,class=4>
<a,b,c|bab,ca,cb,p^2a-baaa,pb-baa,pc-baaa,class=4>
<a,b,c|bab-baaa,ca,cb,p^2a-xbaaa,pb-baa,pc-baaa,class=4>(all x)
