regular total register theorem.json

{
  "aggregate_solutions": [
    [
      2,
      6,
      10
    ]
  ],
  "proof": [
    "last digit forces U=10 within2..18",
    "10H+T=26",
    "H>=2 and0<=T<=18 force H2,T6"
  ],
  "reversed_total": 10620,
  "scope": "diagnostic register class, not additional chronology partitions"
}