Loading weights: 0%| | 0/399 [00:00= 142.2513 >= 70.4325 [ok] idiom: call the police H(p) = 56.0024 H_u = 59.9836 H_s = inf H_u / H(p) = 1.0711 H_s / H(p) = inf bound inf >= 113.3910 >= 56.0024 [ok] idiom: clear the table H(p) = 62.1322 H_u = 64.2344 H_s = inf H_u / H(p) = 1.0338 H_s / H(p) = inf bound inf >= 125.6506 >= 62.1322 [ok] idiom: throw a ball H(p) = 65.9650 H_u = 66.6863 H_s = inf H_u / H(p) = 1.0109 H_s / H(p) = inf bound inf >= 133.3163 >= 65.9650 [ok] idiom: get a present H(p) = 64.0269 H_u = 65.3492 H_s = inf H_u / H(p) = 1.0207 H_s / H(p) = inf bound inf >= 129.4402 >= 64.0269 [ok] idiom: eat the apple H(p) = 65.4969 H_u = 66.3884 H_s = inf H_u / H(p) = 1.0136 H_s / H(p) = inf bound inf >= 132.3801 >= 65.4969 [ok] idiom: break the window H(p) = 63.6291 H_u = 66.1147 H_s = inf H_u / H(p) = 1.0391 H_s / H(p) = inf bound inf >= 128.6445 >= 63.6291 [ok] idiom: lose keys H(p) = 69.4901 H_u = 69.9032 H_s = inf H_u / H(p) = 1.0059 H_s / H(p) = inf bound inf >= 140.3665 >= 69.4901 [ok] idiom: make lunch H(p) = 57.9255 H_u = 58.9603 H_s = inf H_u / H(p) = 1.0179 H_s / H(p) = inf bound inf >= 117.2372 >= 57.9255 [ok] idiom: cut hair H(p) = 62.1064 H_u = 64.2968 H_s = inf H_u / H(p) = 1.0353 H_s / H(p) = inf bound inf >= 125.5990 >= 62.1064 [ok] idiom: raise children H(p) = 63.0995 H_u = 65.0129 H_s = inf H_u / H(p) = 1.0303 H_s / H(p) = inf bound inf >= 127.5854 >= 63.0995 [ok] idiom: tie knots H(p) = 66.7942 H_u = 68.2626 H_s = inf H_u / H(p) = 1.0220 H_s / H(p) = inf bound inf >= 134.9747 >= 66.7942 [ok] idiom: remember details H(p) = 55.0481 H_u = 55.1385 H_s = inf H_u / H(p) = 1.0016 H_s / H(p) = inf bound inf >= 111.4826 >= 55.0481 [ok] idiom: turn dials H(p) = 69.3639 H_u = 70.8711 H_s = inf H_u / H(p) = 1.0217 H_s / H(p) = inf bound inf >= 140.1140 >= 69.3639 [ok] idiom: build the boat H(p) = 56.2608 H_u = 58.5481 H_s = inf H_u / H(p) = 1.0407 H_s / H(p) = inf bound inf >= 113.9080 >= 56.2608 [ok] idiom: lead the meeting H(p) = 59.5685 H_u = 60.0128 H_s = inf H_u / H(p) = 1.0075 H_s / H(p) = inf bound inf >= 120.5233 >= 59.5685 [ok] idiom: strike a drum H(p) = 61.7028 H_u = 62.1012 H_s = inf H_u / H(p) = 1.0065 H_s / H(p) = inf bound inf >= 124.7920 >= 61.7028 [ok] idiom: see the show H(p) = 60.4304 H_u = 61.3628 H_s = inf H_u / H(p) = 1.0154 H_s / H(p) = inf bound inf >= 122.2472 >= 60.4304 [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__joint__nonidiom.json