197.64/50.40	MAYBE
197.64/50.40	
197.64/50.40	Problem:
197.64/50.40	 b(a(b(x1))) -> a(b(a(x1)))
197.64/50.40	 b(b(a(x1))) -> b(b(b(x1)))
197.64/50.40	
197.64/50.40	Proof:
197.64/50.40	 Open
197.64/50.40	EOF