b Omega == 2 Pi(1): True
Pi(x1) == Pi(x3): True
b Pi(f) == Pi(B f) + 2<f> Omega on 455 monomials (a+b <= 12, c <= 4): ALL OK
nice -n 10 venv/bin/python  12 4  0.66s user 0.01s system 99% cpu 0.677 total
