Lemma 3.1 product formula, a,b <= 5, n <= 3 particles: PASS
Lemma 3.1 (i): PASS
Lemma 3.1 (ii): PASS   (iii): PASS
Pi(1) = {1: 1}    Pi(x1) = {2: 1}    Pi(x3) = {2: 1}
intertwining b Pi(f) = Pi(Bf) + 2<f> Omega on 39 monomials x1^a x3^b s^c (a,b<=3, a+b<=4, c<=2): PASS
b Omega == 2 Pi(1): True
