2015 年 2015 巻 133 号 p. 133_1-133_47
This paper complements the previous one [4] perfectly, where we classified 4050 cocliques of length 22, of the McLaughlin graph, into 8 types. In this paper we prove that every coclique of length 22 is one of these 4050 cocliques.