//p+5+(p-1)/2 algebras
<a,b|baaa,bab,pb-wbaa,class=4>
<a,b|baaa,bab-p^3a,pb-wbaa,class=4>
<a,b|baaa,bab-wp^3a,pb-wbaa,class=4>
<a,b|p^3a,bab,pb-wbaa-xbaaa,class=4>(all x, x~-x)
<a,b|p^3a,bab-baaa,pb-wbaa,class=4>
<a,b|p^3a-baaa,bab-xbaaa,pb-wbaa,class=4>(all x)
[ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
]