[math-fun] squared squares