It was the number of shares available at that time. 1) I think they were already distributed to the former WMI Holdings Corp. directors and 2) if not, there was a 1-for-12 R/S, so you have to divide this number by 12
But the existence of this 10 year old incentive plan, and the termination on May 22 is a nothingburger...