194.66/49.66	MAYBE
194.66/49.66	
194.66/49.66	Problem:
194.66/49.66	 b(b(a(a(a(b(x1)))))) -> b(a(a(a(b(a(b(x1)))))))
194.66/49.66	 b(b(x1)) -> b(a(b(a(b(a(b(x1)))))))
194.66/49.66	 b(a(b(a(a(a(b(a(b(x1))))))))) -> b(b(a(a(b(x1)))))
194.66/49.66	 b(a(a(b(x1)))) -> b(a(a(a(b(x1)))))
194.66/49.66	
194.66/49.66	Proof:
194.66/49.66	 Open
194.66/49.66	EOF