Loading weights:   0%|          | 0/464 [00:00<?, ?it/s]
Loading weights:   0%|          | 1/464 [00:01<13:44,  1.78s/it]
Loading weights:  12%|█▎        | 58/464 [00:01<00:09, 42.40it/s]
Loading weights:  19%|█▉        | 88/464 [00:02<00:07, 53.30it/s]
Loading weights:  23%|██▎       | 108/464 [00:02<00:05, 61.81it/s]
Loading weights:  27%|██▋       | 124/464 [00:02<00:05, 63.23it/s]
Loading weights:  30%|██▉       | 137/464 [00:02<00:04, 70.30it/s]
Loading weights:  32%|███▏      | 150/464 [00:02<00:04, 76.37it/s]
Loading weights:  35%|███▍      | 162/464 [00:03<00:06, 50.21it/s]
Loading weights:  37%|███▋      | 171/464 [00:03<00:06, 48.48it/s]
Loading weights:  39%|███▊      | 179/464 [00:03<00:05, 49.93it/s]
Loading weights:  41%|████      | 190/464 [00:03<00:04, 55.17it/s]
Loading weights:  43%|████▎     | 201/464 [00:04<00:04, 60.29it/s]
Loading weights:  46%|████▌     | 212/464 [00:04<00:03, 64.80it/s]
Loading weights:  48%|████▊     | 223/464 [00:04<00:03, 67.73it/s]
Loading weights:  50%|█████     | 234/464 [00:04<00:03, 67.75it/s]
Loading weights:  53%|█████▎    | 245/464 [00:04<00:03, 70.58it/s]
Loading weights:  55%|█████▌    | 256/464 [00:04<00:03, 67.99it/s]
Loading weights:  58%|█████▊    | 267/464 [00:04<00:02, 68.57it/s]
Loading weights:  60%|█████▉    | 278/464 [00:05<00:03, 61.15it/s]
Loading weights:  62%|██████▏   | 286/464 [00:05<00:02, 62.12it/s]
Loading weights:  63%|██████▎   | 293/464 [00:05<00:02, 60.49it/s]
Loading weights:  65%|██████▍   | 300/464 [00:05<00:03, 51.95it/s]
Loading weights:  66%|██████▌   | 306/464 [00:05<00:02, 53.12it/s]
Loading weights:  67%|██████▋   | 312/464 [00:05<00:03, 42.53it/s]
Loading weights:  69%|██████▉   | 322/464 [00:06<00:03, 42.32it/s]
Loading weights:  72%|███████▏  | 333/464 [00:06<00:02, 43.79it/s]
Loading weights:  74%|███████▍  | 344/464 [00:06<00:02, 44.67it/s]
Loading weights:  77%|███████▋  | 355/464 [00:06<00:02, 43.27it/s]
Loading weights:  78%|███████▊  | 363/464 [00:07<00:02, 47.27it/s]
Loading weights:  80%|███████▉  | 369/464 [00:07<00:02, 43.71it/s]
Loading weights:  81%|████████▏ | 377/464 [00:07<00:02, 40.76it/s]
Loading weights:  84%|████████▎ | 388/464 [00:07<00:01, 41.81it/s]
Loading weights:  86%|████████▌ | 399/464 [00:08<00:01, 41.27it/s]
Loading weights:  88%|████████▊ | 407/464 [00:08<00:01, 42.75it/s]
Loading weights:  89%|████████▉ | 412/464 [00:08<00:01, 41.76it/s]
Loading weights:  91%|█████████ | 421/464 [00:08<00:01, 39.62it/s]
Loading weights:  93%|█████████▎| 432/464 [00:08<00:00, 42.88it/s]
Loading weights:  95%|█████████▌| 443/464 [00:08<00:00, 46.35it/s]
Loading weights:  97%|█████████▋| 448/464 [00:09<00:00, 46.64it/s]
Loading weights:  98%|█████████▊| 454/464 [00:09<00:00, 41.15it/s]
Loading weights: 100%|██████████| 464/464 [00:09<00:00, 49.89it/s]

idiom:  spill the water
  H(p)        = 4.3712
  H_u         = 4.4955
  H_s         = 6.7505
  H_u / H(p)  = 1.0284
  H_s / H(p)  = 1.5443
  bound  11.2460 >= 10.1286 >= 4.3712  [ok]

idiom:  call the police
  H(p)        = 4.3371
  H_u         = 4.9723
  H_s         = inf
  H_u / H(p)  = 1.1465
  H_s / H(p)  = inf
  bound  inf >= 10.0604 >= 4.3371  [ok]

idiom:  clear the table
  H(p)        = 4.6943
  H_u         = 5.3459
  H_s         = inf
  H_u / H(p)  = 1.1388
  H_s / H(p)  = inf
  bound  inf >= 10.7749 >= 4.6943  [ok]

idiom:  throw a ball
  H(p)        = 3.7271
  H_u         = 4.1000
  H_s         = inf
  H_u / H(p)  = 1.1000
  H_s / H(p)  = inf
  bound  inf >= 8.8405 >= 3.7271  [ok]

idiom:  get a present
  H(p)        = 5.0294
  H_u         = 5.2247
  H_s         = inf
  H_u / H(p)  = 1.0388
  H_s / H(p)  = inf
  bound  inf >= 11.4451 >= 5.0294  [ok]

idiom:  eat the apple
  H(p)        = 5.7704
  H_u         = 6.3833
  H_s         = inf
  H_u / H(p)  = 1.1062
  H_s / H(p)  = inf
  bound  inf >= 12.9270 >= 5.7704  [ok]

idiom:  break the window
  H(p)        = 4.1786
  H_u         = 4.6710
  H_s         = 5.2145
  H_u / H(p)  = 1.1178
  H_s / H(p)  = 1.2479
  bound  9.8855 >= 9.7435 >= 4.1786  [ok]

idiom:  lose keys
  H(p)        = 5.4353
  H_u         = 5.7607
  H_s         = inf
  H_u / H(p)  = 1.0599
  H_s / H(p)  = inf
  bound  inf >= 12.2570 >= 5.4353  [ok]

idiom:  make lunch
  H(p)        = 5.1690
  H_u         = 5.6657
  H_s         = inf
  H_u / H(p)  = 1.0961
  H_s / H(p)  = inf
  bound  inf >= 11.7243 >= 5.1690  [ok]

idiom:  cut hair
  H(p)        = 4.4867
  H_u         = 5.4305
  H_s         = 4.9944
  H_u / H(p)  = 1.2103
  H_s / H(p)  = 1.1131
  bound  10.4249 >= 10.3598 >= 4.4867  [ok]

idiom:  raise children
  H(p)        = 5.2920
  H_u         = 5.8758
  H_s         = inf
  H_u / H(p)  = 1.1103
  H_s / H(p)  = inf
  bound  inf >= 11.9704 >= 5.2920  [ok]

idiom:  tie knots
  H(p)        = 5.4310
  H_u         = 5.8932
  H_s         = inf
  H_u / H(p)  = 1.0851
  H_s / H(p)  = inf
  bound  inf >= 12.2483 >= 5.4310  [ok]

idiom:  remember details
  H(p)        = 6.7719
  H_u         = 6.9570
  H_s         = inf
  H_u / H(p)  = 1.0273
  H_s / H(p)  = inf
  bound  inf >= 14.9302 >= 6.7719  [ok]

idiom:  turn dials
  H(p)        = 6.8543
  H_u         = 7.6541
  H_s         = inf
  H_u / H(p)  = 1.1167
  H_s / H(p)  = inf
  bound  inf >= 15.0949 >= 6.8543  [ok]

idiom:  build the boat
  H(p)        = 3.5862
  H_u         = 4.1155
  H_s         = inf
  H_u / H(p)  = 1.1476
  H_s / H(p)  = inf
  bound  inf >= 8.5588 >= 3.5862  [ok]

idiom:  lead the meeting
  H(p)        = 5.9885
  H_u         = 6.2523
  H_s         = inf
  H_u / H(p)  = 1.0440
  H_s / H(p)  = inf
  bound  inf >= 13.3634 >= 5.9885  [ok]

idiom:  strike a drum
  H(p)        = 6.7515
  H_u         = 6.7965
  H_s         = inf
  H_u / H(p)  = 1.0067
  H_s / H(p)  = inf
  bound  inf >= 14.8892 >= 6.7515  [ok]

idiom:  see the show
  H(p)        = 5.3670
  H_u         = 5.6836
  H_s         = inf
  H_u / H(p)  = 1.0590
  H_s / H(p)  = inf
  bound  inf >= 12.1203 >= 5.3670  [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/gemma2-9b__medial__geo__nonidiom.json