Quelle  dec6.295   Sprache: unbekannt

//(p + 5)/2 algebras
<a,b,c|cb,baa,pa-bab-xbabb,pb-ca,pc,class=4>(all x, x~-x)
<a,b,c|cb,baa,pa-bab,pb-ca,pc-babb,class=4>
<a,b,c|cb,baa,pa-bab,pb-ca,pc-wbabb,class=4>