202.37/50.61	MAYBE
202.37/50.61	
202.37/50.61	Problem:
202.37/50.61	 a(a(b(a(a(a(a(x1))))))) -> a(a(a(a(a(a(b(a(a(b(a(a(b(x1)))))))))))))
202.37/50.61	
202.37/50.61	Proof:
202.37/50.61	 Open
202.37/50.62	EOF