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