How to save solution in .txt format?

I/O
4

See for instance: How to get the solution obatained by fenics as a vector? - #7 by dokken