A Verified Program For The Enumeration Of All Maximal Independent Sets