Loading weights: 0%| | 0/291 [00:00= 10.1073 >= 4.3605 [ok] idiom: call the police H(p) = 4.1070 H_u = 4.5517 H_s = 5.4245 H_u / H(p) = 1.1083 H_s / H(p) = 1.3208 bound 9.9762 >= 9.6003 >= 4.1070 [ok] idiom: clear the table H(p) = 4.3338 H_u = 4.7998 H_s = inf H_u / H(p) = 1.1075 H_s / H(p) = inf bound inf >= 10.0538 >= 4.3338 [ok] idiom: throw a ball H(p) = 4.4664 H_u = 4.7069 H_s = inf H_u / H(p) = 1.0538 H_s / H(p) = inf bound inf >= 10.3192 >= 4.4664 [ok] idiom: get a present H(p) = 4.6945 H_u = 4.8967 H_s = inf H_u / H(p) = 1.0431 H_s / H(p) = inf bound inf >= 10.7752 >= 4.6945 [ok] idiom: eat the apple H(p) = 4.7806 H_u = 5.1885 H_s = inf H_u / H(p) = 1.0853 H_s / H(p) = inf bound inf >= 10.9475 >= 4.7806 [ok] idiom: break the window H(p) = 4.5739 H_u = 4.9024 H_s = inf H_u / H(p) = 1.0718 H_s / H(p) = inf bound inf >= 10.5340 >= 4.5739 [ok] idiom: lose keys H(p) = 5.7128 H_u = 5.8391 H_s = inf H_u / H(p) = 1.0221 H_s / H(p) = inf bound inf >= 12.8120 >= 5.7128 [ok] idiom: make lunch H(p) = 5.0007 H_u = 5.2123 H_s = inf H_u / H(p) = 1.0423 H_s / H(p) = inf bound inf >= 11.3877 >= 5.0007 [ok] idiom: cut hair H(p) = 4.3356 H_u = 4.7209 H_s = inf H_u / H(p) = 1.0889 H_s / H(p) = inf bound inf >= 10.0574 >= 4.3356 [ok] idiom: raise children H(p) = 5.0956 H_u = 5.3556 H_s = inf H_u / H(p) = 1.0510 H_s / H(p) = inf bound inf >= 11.5774 >= 5.0956 [ok] idiom: tie knots H(p) = 4.8559 H_u = 5.1287 H_s = inf H_u / H(p) = 1.0562 H_s / H(p) = inf bound inf >= 11.0982 >= 4.8559 [ok] idiom: remember details H(p) = 5.3221 H_u = 5.5042 H_s = inf H_u / H(p) = 1.0342 H_s / H(p) = inf bound inf >= 12.0304 >= 5.3221 [ok] idiom: turn dials H(p) = 5.4570 H_u = 5.7374 H_s = inf H_u / H(p) = 1.0514 H_s / H(p) = inf bound inf >= 12.3003 >= 5.4570 [ok] idiom: build the boat H(p) = 4.5861 H_u = 4.8608 H_s = inf H_u / H(p) = 1.0599 H_s / H(p) = inf bound inf >= 10.5585 >= 4.5861 [ok] idiom: lead the meeting H(p) = 5.5434 H_u = 5.6335 H_s = inf H_u / H(p) = 1.0163 H_s / H(p) = inf bound inf >= 12.4730 >= 5.5434 [ok] idiom: strike a drum H(p) = 6.0341 H_u = 6.1509 H_s = inf H_u / H(p) = 1.0194 H_s / H(p) = inf bound inf >= 13.4544 >= 6.0341 [ok] idiom: see the show H(p) = 4.8320 H_u = 5.0375 H_s = inf H_u / H(p) = 1.0425 H_s / H(p) = inf bound inf >= 11.0503 >= 4.8320 [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/llama3.1-8b__full__geo__nonidiom.json