Add optimality note: exhaustive enumeration confirms magnitude 6 is minimum 44209e4 CharlesCNorton commited on Jan 23