//(5p + 3)/2 algebras
<a,b,c|cb-wcaa,cac,pa-ba,pb,pc-xcaa,class=4>(x ne 0,-w,2w,w/2)
<a,b,c|cb-wcaa,cac,pa-ba,pb,pc-xcaaa,class=4>(all x, x~-x)
<a,b,c|cb-wcaa,cac,pa-ba,pb-caaa,pc-xcaaa,class=4>(all x, x~-x)
<a,b,c|cb-wcaa,cac,pa-ba,pb,pc+wcaa,class=4>
<a,b,c|cb-wcaa,cac,pa-ba,pb-caaa,pc+wcaa,class=4>
<a,b,c|cb-wcaa,cac,pa-ba,pb,pc-2*wcaa-xcaaa,class=4>(all x, x~-x)
<a,b,c|cb-wcaa,cac,pa-ba,pb,pc-xcaa,class=4>(x=w/2)
<a,b,c|cb-wcaa,cac-caaa,pa-ba,pb,pc-xcaa,class=4>(x=w/2)
