Loading from DIMACS works