Add optimality note: exhaustive enumeration confirms magnitude 5 is minimum 5637b1e CharlesCNorton commited on 18 days ago