200.10/51.19	MAYBE
200.10/51.19	
200.10/51.19	Problem:
200.10/51.19	 a(a(b(a(a(a(b(a(a(b(a(x1))))))))))) -> a(a(a(b(a(a(b(a(a(b(a(a(a(b(x1))))))))))))))
200.10/51.19	
200.10/51.19	Proof:
200.10/51.19	 Open
200.10/51.20	EOF