maxclique-ctsl.dat