maxclique-htsl.dat