702.64/299.38	MAYBE
702.64/299.38	
702.64/299.38	Problem:
702.64/299.38	 strict:
702.64/299.38	  b(p(b(x1))) -> b(q(b(x1)))
702.64/299.38	 weak:
702.64/299.38	  1(p(0(1(0(x1))))) -> p(x1)
702.64/299.38	  q(x1) -> 0(q(0(x1)))
702.64/299.38	  q(x1) -> 1(q(1(x1)))
702.64/299.38	  q(x1) -> 0(p(0(x1)))
702.64/299.38	  q(x1) -> 1(p(1(x1)))
702.64/299.38	
702.64/299.38	Proof:
702.64/299.38	 Open
702.64/299.38	EOF