200.53/50.49	MAYBE
200.53/50.49	
200.53/50.49	Problem:
200.53/50.49	 a(a(b(a(b(a(b(a(b(x1))))))))) -> a(b(a(b(a(b(a(b(a(a(a(a(a(b(x1))))))))))))))
200.53/50.49	
200.53/50.49	Proof:
200.53/50.49	 Open
200.53/50.49	EOF