funsearch
funsearch copied to clipboard
"1082-cap in n=9 dimensions"
Where does this data come from?