Loading weights: 0%| | 0/399 [00:00= 9.0483 >= 3.8310 [ok] idiom: call the police H(p) = 4.2933 H_u = 4.7204 H_s = inf H_u / H(p) = 1.0995 H_s / H(p) = inf bound inf >= 9.9729 >= 4.2933 [ok] idiom: clear the table H(p) = 4.3686 H_u = 4.9022 H_s = 5.3324 H_u / H(p) = 1.1222 H_s / H(p) = 1.2206 bound 10.2346 >= 10.1235 >= 4.3686 [ok] idiom: throw a ball H(p) = 3.9689 H_u = 4.2325 H_s = inf H_u / H(p) = 1.0664 H_s / H(p) = inf bound inf >= 9.3241 >= 3.9689 [ok] idiom: get a present H(p) = 4.3021 H_u = 4.5358 H_s = inf H_u / H(p) = 1.0543 H_s / H(p) = inf bound inf >= 9.9905 >= 4.3021 [ok] idiom: eat the apple H(p) = 4.3616 H_u = 4.8444 H_s = inf H_u / H(p) = 1.1107 H_s / H(p) = inf bound inf >= 10.1096 >= 4.3616 [ok] idiom: break the window H(p) = 4.0394 H_u = 4.4628 H_s = 5.3343 H_u / H(p) = 1.1048 H_s / H(p) = 1.3206 bound 9.7971 >= 9.4650 >= 4.0394 [ok] idiom: lose keys H(p) = 5.0285 H_u = 5.2808 H_s = inf H_u / H(p) = 1.0502 H_s / H(p) = inf bound inf >= 11.4434 >= 5.0285 [ok] idiom: make lunch H(p) = 4.2644 H_u = 4.6332 H_s = inf H_u / H(p) = 1.0865 H_s / H(p) = inf bound inf >= 9.9150 >= 4.2644 [ok] idiom: cut hair H(p) = 4.2337 H_u = 4.8858 H_s = inf H_u / H(p) = 1.1540 H_s / H(p) = inf bound inf >= 9.8537 >= 4.2337 [ok] idiom: raise children H(p) = 4.6962 H_u = 5.1845 H_s = inf H_u / H(p) = 1.1040 H_s / H(p) = inf bound inf >= 10.7786 >= 4.6962 [ok] idiom: tie knots H(p) = 4.8365 H_u = 5.3140 H_s = 6.2620 H_u / H(p) = 1.0987 H_s / H(p) = 1.2947 bound 11.5760 >= 11.0594 >= 4.8365 [ok] idiom: remember details H(p) = 5.7603 H_u = 5.9151 H_s = inf H_u / H(p) = 1.0269 H_s / H(p) = inf bound inf >= 12.9069 >= 5.7603 [ok] idiom: turn dials H(p) = 5.5181 H_u = 5.9257 H_s = inf H_u / H(p) = 1.0739 H_s / H(p) = inf bound inf >= 12.4225 >= 5.5181 [ok] idiom: build the boat H(p) = 3.5701 H_u = 3.8767 H_s = inf H_u / H(p) = 1.0859 H_s / H(p) = inf bound inf >= 8.5265 >= 3.5701 [ok] idiom: lead the meeting H(p) = 5.2138 H_u = 5.4298 H_s = inf H_u / H(p) = 1.0414 H_s / H(p) = inf bound inf >= 11.8138 >= 5.2138 [ok] idiom: strike a drum H(p) = 5.6355 H_u = 5.6838 H_s = inf H_u / H(p) = 1.0086 H_s / H(p) = inf bound inf >= 12.6572 >= 5.6355 [ok] idiom: see the show H(p) = 5.0175 H_u = 5.2615 H_s = inf H_u / H(p) = 1.0486 H_s / H(p) = inf bound inf >= 11.4212 >= 5.0175 [ok] bound H_u + H_s >= 2 H(p) + 2 log 2 >= H(p) holds for 18/18 phrases Wrote 18 idiom results to results/sweep/json/qwen3-8b-base__medial__geo__nonidiom.json