[Alphabet]
weight 0 noncentral p1
weight 0 noncentral p2
weight -1 central tau
[Generators]
p1
p2
[Relations]
"- p1 + p1^2"
"- p2 + p2^2"
"- tau - p1 - p2 + p1p2 + p2p1"