{
  "domain": "mathematics",
  "topics": [
    "number-theory"
  ],
  "type": "construction",
  "also": [
    "proof"
  ],
  "cover": {
    "motif": "blocks"
  },
  "source": {
    "key": "formal-conjectures",
    "name": "Formal Conjectures",
    "url": "https://github.com/google-deepmind/formal-conjectures/blob/main/FormalConjectures/OEIS/108129.lean",
    "id": "OEIS/108129",
    "curator": "Google DeepMind and contributors",
    "poser": "Hans Riesel",
    "status": "open",
    "as_of": "2026-10-20",
    "catalog": "0521c19bbd38"
  },
  "review": true,
  "approval": "first-time"
}