Add optimality note: exhaustive enumeration confirms magnitude 6 is minimum 44209e4 CharlesCNorton commited on 11 days ago