Loading weights:   0%|          | 0/291 [00:00<?, ?it/s]
Loading weights:  13%|█▎        | 37/291 [00:00<00:00, 330.25it/s]
Loading weights:  24%|██▍       | 71/291 [00:00<00:00, 272.45it/s]
Loading weights:  34%|███▍      | 99/291 [00:00<00:00, 214.86it/s]
Loading weights:  43%|████▎     | 126/291 [00:00<00:00, 230.30it/s]
Loading weights:  52%|█████▏    | 151/291 [00:00<00:00, 230.77it/s]
Loading weights:  60%|██████    | 175/291 [00:00<00:00, 225.59it/s]
Loading weights:  68%|██████▊   | 198/291 [00:00<00:00, 215.30it/s]
Loading weights:  77%|███████▋  | 224/291 [00:00<00:00, 226.11it/s]
Loading weights:  85%|████████▍ | 247/291 [00:01<00:00, 205.58it/s]
Loading weights:  94%|█████████▍| 273/291 [00:01<00:00, 212.89it/s]
Loading weights: 100%|██████████| 291/291 [00:01<00:00, 231.52it/s]

idiom:  spill the water
  H(p)        = 4.1221
  H_u         = 4.2459
  H_s         = 6.4748
  H_u / H(p)  = 1.0300
  H_s / H(p)  = 1.5707
  bound  10.7206 >= 9.6305 >= 4.1221  [ok]

idiom:  call the police
  H(p)        = 4.0741
  H_u         = 4.5319
  H_s         = inf
  H_u / H(p)  = 1.1124
  H_s / H(p)  = inf
  bound  inf >= 9.5344 >= 4.0741  [ok]

idiom:  clear the table
  H(p)        = 4.3151
  H_u         = 4.8920
  H_s         = 5.1436
  H_u / H(p)  = 1.1337
  H_s / H(p)  = 1.1920
  bound  10.0357 >= 10.0164 >= 4.3151  [ok]

idiom:  throw a ball
  H(p)        = 3.9977
  H_u         = 4.1916
  H_s         = inf
  H_u / H(p)  = 1.0485
  H_s / H(p)  = inf
  bound  inf >= 9.3817 >= 3.9977  [ok]

idiom:  get a present
  H(p)        = 4.5602
  H_u         = 4.7466
  H_s         = inf
  H_u / H(p)  = 1.0409
  H_s / H(p)  = inf
  bound  inf >= 10.5068 >= 4.5602  [ok]

idiom:  eat the apple
  H(p)        = 4.7155
  H_u         = 5.1622
  H_s         = inf
  H_u / H(p)  = 1.0947
  H_s / H(p)  = inf
  bound  inf >= 10.8173 >= 4.7155  [ok]

idiom:  break the window
  H(p)        = 4.0473
  H_u         = 4.4329
  H_s         = 5.4632
  H_u / H(p)  = 1.0953
  H_s / H(p)  = 1.3498
  bound  9.8961 >= 9.4809 >= 4.0473  [ok]

idiom:  lose keys
  H(p)        = 5.0988
  H_u         = 5.3361
  H_s         = inf
  H_u / H(p)  = 1.0465
  H_s / H(p)  = inf
  bound  inf >= 11.5839 >= 5.0988  [ok]

idiom:  make lunch
  H(p)        = 4.4657
  H_u         = 4.7423
  H_s         = inf
  H_u / H(p)  = 1.0619
  H_s / H(p)  = inf
  bound  inf >= 10.3177 >= 4.4657  [ok]

idiom:  cut hair
  H(p)        = 4.0340
  H_u         = 4.6862
  H_s         = 4.7968
  H_u / H(p)  = 1.1617
  H_s / H(p)  = 1.1891
  bound  9.4830 >= 9.4542 >= 4.0340  [ok]

idiom:  raise children
  H(p)        = 4.7376
  H_u         = 5.1131
  H_s         = inf
  H_u / H(p)  = 1.0793
  H_s / H(p)  = inf
  bound  inf >= 10.8614 >= 4.7376  [ok]

idiom:  tie knots
  H(p)        = 4.7127
  H_u         = 5.0898
  H_s         = 6.0338
  H_u / H(p)  = 1.0800
  H_s / H(p)  = 1.2803
  bound  11.1236 >= 10.8116 >= 4.7127  [ok]

idiom:  remember details
  H(p)        = 5.7583
  H_u         = 5.8794
  H_s         = inf
  H_u / H(p)  = 1.0210
  H_s / H(p)  = inf
  bound  inf >= 12.9029 >= 5.7583  [ok]

idiom:  turn dials
  H(p)        = 5.3355
  H_u         = 5.6966
  H_s         = inf
  H_u / H(p)  = 1.0677
  H_s / H(p)  = inf
  bound  inf >= 12.0573 >= 5.3355  [ok]

idiom:  build the boat
  H(p)        = 3.7665
  H_u         = 4.1236
  H_s         = inf
  H_u / H(p)  = 1.0948
  H_s / H(p)  = inf
  bound  inf >= 8.9192 >= 3.7665  [ok]

idiom:  lead the meeting
  H(p)        = 5.2835
  H_u         = 5.4443
  H_s         = inf
  H_u / H(p)  = 1.0304
  H_s / H(p)  = inf
  bound  inf >= 11.9532 >= 5.2835  [ok]

idiom:  strike a drum
  H(p)        = 5.7817
  H_u         = 5.8541
  H_s         = inf
  H_u / H(p)  = 1.0125
  H_s / H(p)  = inf
  bound  inf >= 12.9496 >= 5.7817  [ok]

idiom:  see the show
  H(p)        = 4.9123
  H_u         = 5.1775
  H_s         = inf
  H_u / H(p)  = 1.0540
  H_s / H(p)  = inf
  bound  inf >= 11.2110 >= 4.9123  [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__medial__geo__nonidiom.json