Loading weights: 0%| | 0/399 [00:00= 11.1230 >= 4.8684 [ok] idiom: call the police H(p) = 4.4693 H_u = 4.8624 H_s = inf H_u / H(p) = 1.0880 H_s / H(p) = inf bound inf >= 10.3249 >= 4.4693 [ok] idiom: clear the table H(p) = 4.8523 H_u = 5.2770 H_s = inf H_u / H(p) = 1.0875 H_s / H(p) = inf bound inf >= 11.0910 >= 4.8523 [ok] idiom: throw a ball H(p) = 5.0545 H_u = 5.2463 H_s = inf H_u / H(p) = 1.0380 H_s / H(p) = inf bound inf >= 11.4952 >= 5.0545 [ok] idiom: get a present H(p) = 4.9764 H_u = 5.1659 H_s = inf H_u / H(p) = 1.0381 H_s / H(p) = inf bound inf >= 11.3391 >= 4.9764 [ok] idiom: eat the apple H(p) = 5.1181 H_u = 5.3857 H_s = inf H_u / H(p) = 1.0523 H_s / H(p) = inf bound inf >= 11.6224 >= 5.1181 [ok] idiom: break the window H(p) = 4.8559 H_u = 5.1541 H_s = inf H_u / H(p) = 1.0614 H_s / H(p) = inf bound inf >= 11.0980 >= 4.8559 [ok] idiom: lose keys H(p) = 6.4056 H_u = 6.4898 H_s = inf H_u / H(p) = 1.0131 H_s / H(p) = inf bound inf >= 14.1976 >= 6.4056 [ok] idiom: make lunch H(p) = 5.2049 H_u = 5.4530 H_s = inf H_u / H(p) = 1.0477 H_s / H(p) = inf bound inf >= 11.7960 >= 5.2049 [ok] idiom: cut hair H(p) = 5.0767 H_u = 5.3624 H_s = inf H_u / H(p) = 1.0563 H_s / H(p) = inf bound inf >= 11.5398 >= 5.0767 [ok] idiom: raise children H(p) = 5.4626 H_u = 5.7930 H_s = inf H_u / H(p) = 1.0605 H_s / H(p) = inf bound inf >= 12.3114 >= 5.4626 [ok] idiom: tie knots H(p) = 5.3250 H_u = 5.5846 H_s = inf H_u / H(p) = 1.0488 H_s / H(p) = inf bound inf >= 12.0363 >= 5.3250 [ok] idiom: remember details H(p) = 5.8005 H_u = 5.9621 H_s = inf H_u / H(p) = 1.0279 H_s / H(p) = inf bound inf >= 12.9873 >= 5.8005 [ok] idiom: turn dials H(p) = 5.5760 H_u = 5.9391 H_s = inf H_u / H(p) = 1.0651 H_s / H(p) = inf bound inf >= 12.5383 >= 5.5760 [ok] idiom: build the boat H(p) = 4.7749 H_u = 5.1477 H_s = inf H_u / H(p) = 1.0781 H_s / H(p) = inf bound inf >= 10.9360 >= 4.7749 [ok] idiom: lead the meeting H(p) = 5.8989 H_u = 6.0126 H_s = inf H_u / H(p) = 1.0193 H_s / H(p) = inf bound inf >= 13.1841 >= 5.8989 [ok] idiom: strike a drum H(p) = 6.4391 H_u = 6.5246 H_s = inf H_u / H(p) = 1.0133 H_s / H(p) = inf bound inf >= 14.2645 >= 6.4391 [ok] idiom: see the show H(p) = 5.6095 H_u = 5.7813 H_s = inf H_u / H(p) = 1.0306 H_s / H(p) = inf bound inf >= 12.6053 >= 5.6095 [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__full__geo__nonidiom.json