Grundy_number loading ...