202.93/50.81	MAYBE
202.93/50.81	
202.93/50.81	Problem:
202.93/50.81	 a(b(a(b(a(a(b(a(b(a(b(a(x1)))))))))))) -> a(a(b(a(b(a(b(a(a(b(a(b(a(b(x1))))))))))))))
202.93/50.81	
202.93/50.81	Proof:
202.93/50.81	 Open
202.96/50.81	EOF