@misc{indiciae8f99168736ca,
  title = {\$R(5,5) \textbackslash{}le 48\$},
  author = {Vigleik Angeltveit and Brendan D. McKay},
  year = {2017},
  url = {https://arxiv.org/abs/1703.08768},
  note = {Source identifier: 1703.08768}
}