Use list of lists for DimacsCNF