DIMACS dist script