Added boltzmann grammars for size 45