Programs related to the paper "On the independence number of some strongly regular graphs"