"""Verify the selected real Lambert W values without API writes.

    pip install numberdb python-flint mpmath
    python generate.py

Download t200_values.py beside this file. To rerun the independent
checks as well, download t200_checks.py and run it with Python.
The omega entry is retained and verified, not claimed as newly generated.
"""

from t200_values import LambertValues

generator = LambertValues()

if __name__ == "__main__":
    report = generator.verify(sample=None)
    print(report)
    raise SystemExit(0 if report.ok else 1)