A Maxima-based construction of the Kneser graph.