197.51/50.51	MAYBE
197.51/50.51	
197.51/50.51	Problem:
197.51/50.51	 b(a(b(a(a(b(x1)))))) -> b(b(a(b(a(b(x1))))))
197.51/50.51	 b(a(b(b(x1)))) -> b(b(a(a(b(a(b(x1)))))))
197.51/50.51	
197.51/50.51	Proof:
197.51/50.51	 Open
197.51/50.52	EOF