Add optimality note: exhaustive enumeration confirms magnitude 2 is minimum 8080444 CharlesCNorton commited on Jan 23