File reader. Parse 6 lines describing the graph and check that the text
respects the formalism.