Loading weights:   0%|          | 0/291 [00:00<?, ?it/s]Loading weights: 100%|██████████| 291/291 [00:00<00:00, 11846.82it/s]

idiom:  spill the beans
  H(p)        = 3.8478
  H_u         = 4.4628
  H_s         = 4.7741
  H_u / H(p)  = 1.1598
  H_s / H(p)  = 1.2407
  bound  9.2369 >= 9.0820 >= 3.8478  [ok]

idiom:  call the shots
  H(p)        = 3.7561
  H_u         = 4.5806
  H_s         = 4.4538
  H_u / H(p)  = 1.2195
  H_s / H(p)  = 1.1858
  bound  9.0345 >= 8.8984 >= 3.7561  [ok]

idiom:  clear the air
  H(p)        = 3.8555
  H_u         = 4.5911
  H_s         = 4.5664
  H_u / H(p)  = 1.1908
  H_s / H(p)  = 1.1844
  bound  9.1575 >= 9.0973 >= 3.8555  [ok]

idiom:  have a ball
  H(p)        = 3.7841
  H_u         = 4.4200
  H_s         = inf
  H_u / H(p)  = 1.1681
  H_s / H(p)  = inf
  bound  inf >= 8.9544 >= 3.7841  [ok]

idiom:  get the sack
  H(p)        = 4.3756
  H_u         = 4.7613
  H_s         = inf
  H_u / H(p)  = 1.0882
  H_s / H(p)  = inf
  bound  inf >= 10.1374 >= 4.3756  [ok]

idiom:  bite the dust
  H(p)        = 4.4583
  H_u         = 5.4296
  H_s         = inf
  H_u / H(p)  = 1.2179
  H_s / H(p)  = inf
  bound  inf >= 10.3030 >= 4.4583  [ok]

idiom:  break the mold
  H(p)        = 3.9046
  H_u         = 4.6993
  H_s         = inf
  H_u / H(p)  = 1.2035
  H_s / H(p)  = inf
  bound  inf >= 9.1954 >= 3.9046  [ok]

idiom:  lose ground
  H(p)        = 4.9992
  H_u         = 5.6325
  H_s         = inf
  H_u / H(p)  = 1.1267
  H_s / H(p)  = inf
  bound  inf >= 11.3846 >= 4.9992  [ok]

idiom:  make waves
  H(p)        = 4.6618
  H_u         = 5.0327
  H_s         = inf
  H_u / H(p)  = 1.0796
  H_s / H(p)  = inf
  bound  inf >= 10.7099 >= 4.6618  [ok]

idiom:  cut corners
  H(p)        = 3.8928
  H_u         = 4.6975
  H_s         = inf
  H_u / H(p)  = 1.2067
  H_s / H(p)  = inf
  bound  inf >= 9.1720 >= 3.8928  [ok]

idiom:  raise hell
  H(p)        = 4.8775
  H_u         = 5.3431
  H_s         = 6.1856
  H_u / H(p)  = 1.0955
  H_s / H(p)  = 1.2682
  bound  11.5287 >= 11.1413 >= 4.8775  [ok]

idiom:  pull strings
  H(p)        = 4.0875
  H_u         = 4.7409
  H_s         = 5.0264
  H_u / H(p)  = 1.1598
  H_s / H(p)  = 1.2297
  bound  9.7673 >= 9.5613 >= 4.0875  [ok]

idiom:  mean business
  H(p)        = 4.7222
  H_u         = 5.3268
  H_s         = inf
  H_u / H(p)  = 1.1280
  H_s / H(p)  = inf
  bound  inf >= 10.8306 >= 4.7222  [ok]

idiom:  turn tail
  H(p)        = 4.7188
  H_u         = 5.5523
  H_s         = inf
  H_u / H(p)  = 1.1766
  H_s / H(p)  = inf
  bound  inf >= 10.8240 >= 4.7188  [ok]

idiom:  rock the boat
  H(p)        = 3.6428
  H_u         = 4.4707
  H_s         = 4.2587
  H_u / H(p)  = 1.2273
  H_s / H(p)  = 1.1691
  bound  8.7294 >= 8.6719 >= 3.6428  [ok]

idiom:  lead the field
  H(p)        = 4.5053
  H_u         = 5.1472
  H_s         = 5.3777
  H_u / H(p)  = 1.1425
  H_s / H(p)  = 1.1936
  bound  10.5249 >= 10.3969 >= 4.5053  [ok]

idiom:  strike a chord
  H(p)        = 4.5781
  H_u         = 5.6592
  H_s         = 5.0366
  H_u / H(p)  = 1.2361
  H_s / H(p)  = 1.1001
  bound  10.6958 >= 10.5425 >= 4.5781  [ok]

idiom:  run the show
  H(p)        = 4.6056
  H_u         = 5.0664
  H_s         = inf
  H_u / H(p)  = 1.1001
  H_s / H(p)  = inf
  bound  inf >= 10.5975 >= 4.6056  [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__idiom.json
