Moncel, 2006. On graphs on n vertices having an identifying code of cardinality log2(n+1) 154.. https://doi.org/10.1016/j.dam.2006.03.011