Quelle  dec6.290   Sprache: unbekannt

//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)