W1 (A1) dropped, block 4 = 1/1000                          DETECTED   (recheck flags 2, disc hits of (z f)^(n)(0): 1)
W2 Theorem B without ramps, p = 1+z                        DETECTED   (disc hits at n >= n*: 5)
W3 zero coefficient inside block 26, p = 1+z               DETECTED   (layout flags 1, disc hits at n >= n*: 1)
W4 (B1) dropped, block 13 = 1000 + z/1000, p = 1+z         DETECTED   (recheck flags 5, disc hits at n >= n*: 1)
W5 gaps scaled by 0.3 (B2 violated)                        DETECTED   (recheck flags 38, max_j U_j/2^-j = 1.61e+71)
W5a gaps scaled by 0.3 (A2 violated)                       DETECTED   (recheck flags 51, max_j U_j/2^-j = 5.01e+21)
W6 local zone, n_j = j0+5 << (B1) bound, p = 1+z           DETECTED   (bad windows 1 of 11)
W7 local zone j = 3 << j0 = 6002 (claim not asserted)      DETECTED   (bad windows 1 of 5)
W8 local zone without ramp, p = 1+z, g = 1 + 2z            DETECTED   (bad windows 1 of 3)
RESULT: ALL WRONG INPUTS DETECTED
