Add optimality note: exhaustive enumeration confirms magnitude 7 is minimum 525b8bc CharlesCNorton commited on 17 days ago