//2p^2+p algebras
<a,b,c|cb-caa-xcaaa,cac,pa,pb-ba,pc-ycaaa,class=4>(all x,y)
<a,b,c|cb-caa-xcaaa,cac,pa-caaa,pb-ba,pc,class=4>(all x)
<a,b,c|cb-caa,cac-caaa,pa-xcaaa,pb-ba,pc-ycaaa,class=4>(all x,y)
[ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet)
]