Hi all, I am still very new to Polymake (but have managed to do my first computations!) and I have a question regarding reading a .txt file. I have a txt file where each of its rows describes the vertices of a polytope, i.e., the file looks like this: [[0,0],[1,0],[1,2]] [[0,0],[1,0],[0,1],[1,1]] .....