Griesmer_bound loading ...