198.18/50.65	MAYBE
198.18/50.65	
198.18/50.65	Problem:
198.18/50.65	 b(b(b(a(b(a(b(b(a(b(x1)))))))))) -> b(b(a(b(a(b(b(b(a(b(a(b(b(x1)))))))))))))
198.18/50.65	
198.18/50.65	Proof:
198.18/50.65	 Open
198.18/50.66	EOF