Added boltzmann grammars for various sizes: 39, 41, and 51