220.15/50.48	MAYBE
220.32/50.48	
220.32/50.48	Problem:
220.32/50.48	 a(b(a(a(a(a(a(a(a(a(x1)))))))))) -> a(a(a(a(a(a(a(a(a(a(b(a(a(b(x1))))))))))))))
220.32/50.48	
220.32/50.48	Proof:
220.32/50.48	 Open
220.32/50.49	EOF