back to table · edit · history · where entries came from · files · download
281 bytes, as of the version from 2026-11-02 11:02 (current). Recorded here, not run.
import json,time,sys
import numberdb.sage as numberdb
from generate import ITEMS,evaluated
import mpmath as mp
for item in ITEMS:
start=time.time();data=evaluated(item['key'],100)
print(json.dumps(dict(t=item['key'],row=item['row'],seconds=time.time()-start,**data)),flush=True)