Added boltzmann grammars for size 46 and 47