import sys,os,json,io,contextlib
import numberdb.sage as numberdb
from generate import SelbergErrors
import checks
key=sys.stdin.read().strip()
if '=' in key and key.split('=',1)[0].isupper():key=key.split('=',1)[1].strip().strip('\'"')
numberdb.configure(api_key=key)
os.environ.pop('NUMBERDB_KEY_FROM_STDIN',None)
report=SelbergErrors().verify(sample=None)
assert report.ok,str(report)
sys.argv=['checks.py','--stored']
with contextlib.redirect_stdout(io.StringIO()) as stream:checks.main()
evidence=json.loads(stream.getvalue())
evidence['numberdb_verify']={'ok':bool(report.ok),'report':str(report)}
print(json.dumps(evidence,indent=2))