@misc{indiciae71dad99563d4,
  title = {Busy Beaver Scores and Alphabet Size},
  author = {Holger Petersen},
  year = {2017},
  url = {https://arxiv.org/abs/1704.08752},
  note = {Source identifier: 1704.08752}
}