703.15/299.39	MAYBE
703.15/299.39	
703.15/299.39	Problem:
703.15/299.39	 strict:
703.15/299.39	  b(q(b(x1))) -> b(p(b(x1)))
703.15/299.39	 weak:
703.15/299.39	  0(p(0(x1))) -> q(x1)
703.15/299.39	  1(p(1(x1))) -> q(x1)
703.15/299.39	  0(q(0(x1))) -> q(x1)
703.15/299.39	  1(q(1(x1))) -> q(x1)
703.15/299.39	  p(x1) -> 1(p(1(0(1(x1)))))
703.15/299.39	
703.15/299.39	Proof:
703.15/299.39	 Open
703.15/299.40	EOF