Loading weights: 0%| | 0/399 [00:00= 10.0427 >= 4.3282 [ok] idiom: call the police H(p) = 4.2984 H_u = 4.6628 H_s = inf H_u / H(p) = 1.0848 H_s / H(p) = inf bound inf >= 9.9830 >= 4.2984 [ok] idiom: clear the table H(p) = 4.2048 H_u = 4.6957 H_s = inf H_u / H(p) = 1.1167 H_s / H(p) = inf bound inf >= 9.7960 >= 4.2048 [ok] idiom: throw a ball H(p) = 4.5520 H_u = 4.7838 H_s = inf H_u / H(p) = 1.0509 H_s / H(p) = inf bound inf >= 10.4902 >= 4.5520 [ok] idiom: get a present H(p) = 4.5261 H_u = 4.7601 H_s = inf H_u / H(p) = 1.0517 H_s / H(p) = inf bound inf >= 10.4385 >= 4.5261 [ok] idiom: eat the apple H(p) = 4.6068 H_u = 5.0155 H_s = inf H_u / H(p) = 1.0887 H_s / H(p) = inf bound inf >= 10.6000 >= 4.6068 [ok] idiom: break the window H(p) = 4.5365 H_u = 4.8590 H_s = inf H_u / H(p) = 1.0711 H_s / H(p) = inf bound inf >= 10.4594 >= 4.5365 [ok] idiom: lose keys H(p) = 5.7634 H_u = 5.8993 H_s = inf H_u / H(p) = 1.0236 H_s / H(p) = inf bound inf >= 12.9132 >= 5.7634 [ok] idiom: make lunch H(p) = 4.8309 H_u = 5.0950 H_s = inf H_u / H(p) = 1.0547 H_s / H(p) = inf bound inf >= 11.0481 >= 4.8309 [ok] idiom: cut hair H(p) = 4.3842 H_u = 4.7445 H_s = inf H_u / H(p) = 1.0822 H_s / H(p) = inf bound inf >= 10.1547 >= 4.3842 [ok] idiom: raise children H(p) = 5.0214 H_u = 5.3343 H_s = inf H_u / H(p) = 1.0623 H_s / H(p) = inf bound inf >= 11.4291 >= 5.0214 [ok] idiom: tie knots H(p) = 5.0053 H_u = 5.2722 H_s = inf H_u / H(p) = 1.0533 H_s / H(p) = inf bound inf >= 11.3969 >= 5.0053 [ok] idiom: remember details H(p) = 5.3838 H_u = 5.5515 H_s = inf H_u / H(p) = 1.0311 H_s / H(p) = inf bound inf >= 12.1540 >= 5.3838 [ok] idiom: turn dials H(p) = 5.4262 H_u = 5.7276 H_s = inf H_u / H(p) = 1.0555 H_s / H(p) = inf bound inf >= 12.2388 >= 5.4262 [ok] idiom: build the boat H(p) = 4.3066 H_u = 4.5942 H_s = inf H_u / H(p) = 1.0668 H_s / H(p) = inf bound inf >= 9.9995 >= 4.3066 [ok] idiom: lead the meeting H(p) = 5.4656 H_u = 5.5895 H_s = inf H_u / H(p) = 1.0227 H_s / H(p) = inf bound inf >= 12.3174 >= 5.4656 [ok] idiom: strike a drum H(p) = 6.0180 H_u = 6.1041 H_s = inf H_u / H(p) = 1.0143 H_s / H(p) = inf bound inf >= 13.4222 >= 6.0180 [ok] idiom: see the show H(p) = 4.9623 H_u = 5.1616 H_s = inf H_u / H(p) = 1.0402 H_s / H(p) = inf bound inf >= 11.3110 >= 4.9623 [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__full__geo__nonidiom.json