Loading weights:   0%|          | 0/464 [00:00<?, ?it/s]
Loading weights:   0%|          | 1/464 [00:01<10:33,  1.37s/it]
Loading weights:  17%|█▋        | 80/464 [00:01<00:05, 73.78it/s]
Loading weights:  25%|██▌       | 118/464 [00:02<00:04, 73.20it/s]
Loading weights:  31%|███       | 142/464 [00:02<00:04, 75.66it/s]
Loading weights:  34%|███▍      | 160/464 [00:02<00:04, 64.12it/s]
Loading weights:  37%|███▋      | 173/464 [00:02<00:04, 63.65it/s]
Loading weights:  40%|███▉      | 184/464 [00:03<00:04, 58.89it/s]
Loading weights:  42%|████▏     | 193/464 [00:03<00:05, 53.85it/s]
Loading weights:  43%|████▎     | 201/464 [00:03<00:05, 49.34it/s]
Loading weights:  46%|████▌     | 212/464 [00:03<00:05, 49.89it/s]
Loading weights:  48%|████▊     | 223/464 [00:04<00:04, 52.62it/s]
Loading weights:  50%|████▉     | 231/464 [00:04<00:04, 56.55it/s]
Loading weights:  51%|█████▏    | 238/464 [00:04<00:04, 47.33it/s]
Loading weights:  53%|█████▎    | 245/464 [00:04<00:05, 43.65it/s]
Loading weights:  55%|█████▌    | 256/464 [00:04<00:04, 43.11it/s]
Loading weights:  58%|█████▊    | 267/464 [00:05<00:04, 41.40it/s]
Loading weights:  60%|█████▉    | 278/464 [00:05<00:04, 37.48it/s]
Loading weights:  62%|██████▏   | 289/464 [00:05<00:04, 41.74it/s]
Loading weights:  65%|██████▍   | 300/464 [00:05<00:03, 42.96it/s]
Loading weights:  67%|██████▋   | 311/464 [00:06<00:03, 45.97it/s]
Loading weights:  68%|██████▊   | 316/464 [00:06<00:03, 44.04it/s]
Loading weights:  70%|██████▉   | 323/464 [00:06<00:03, 42.86it/s]
Loading weights:  72%|███████▏  | 333/464 [00:06<00:02, 51.39it/s]
Loading weights:  73%|███████▎  | 339/464 [00:06<00:02, 43.50it/s]
Loading weights:  74%|███████▍  | 344/464 [00:06<00:02, 44.59it/s]
Loading weights:  76%|███████▌  | 353/464 [00:06<00:02, 51.94it/s]
Loading weights:  77%|███████▋  | 359/464 [00:07<00:02, 42.49it/s]
Loading weights:  78%|███████▊  | 364/464 [00:07<00:02, 43.56it/s]
Loading weights:  80%|███████▉  | 369/464 [00:07<00:02, 38.14it/s]
Loading weights:  81%|████████▏ | 377/464 [00:07<00:02, 36.80it/s]
Loading weights:  84%|████████▎ | 388/464 [00:08<00:02, 34.48it/s]
Loading weights:  86%|████████▌ | 399/464 [00:08<00:01, 40.17it/s]
Loading weights:  87%|████████▋ | 404/464 [00:08<00:01, 41.41it/s]
Loading weights:  88%|████████▊ | 410/464 [00:08<00:01, 41.53it/s]
Loading weights:  89%|████████▉ | 415/464 [00:08<00:01, 40.33it/s]
Loading weights:  91%|█████████ | 421/464 [00:08<00:01, 40.17it/s]
Loading weights:  92%|█████████▏| 429/464 [00:08<00:00, 46.23it/s]
Loading weights:  94%|█████████▎| 434/464 [00:09<00:00, 32.50it/s]
Loading weights:  95%|█████████▌| 443/464 [00:09<00:00, 36.65it/s]
Loading weights:  98%|█████████▊| 454/464 [00:09<00:00, 36.66it/s]
Loading weights: 100%|██████████| 464/464 [00:09<00:00, 47.56it/s]

idiom:  spill the water
  H(p)        = 66.1718
  H_u         = 67.1004
  H_s         = inf
  H_u / H(p)  = 1.0140
  H_s / H(p)  = inf
  bound  inf >= 133.7300 >= 66.1718  [ok]

idiom:  call the police
  H(p)        = 63.2014
  H_u         = 68.7161
  H_s         = inf
  H_u / H(p)  = 1.0873
  H_s / H(p)  = inf
  bound  inf >= 127.7891 >= 63.2014  [ok]

idiom:  clear the table
  H(p)        = 65.5453
  H_u         = 68.2514
  H_s         = inf
  H_u / H(p)  = 1.0413
  H_s / H(p)  = inf
  bound  inf >= 132.4769 >= 65.5453  [ok]

idiom:  throw a ball
  H(p)        = 56.1311
  H_u         = 57.4091
  H_s         = inf
  H_u / H(p)  = 1.0228
  H_s / H(p)  = inf
  bound  inf >= 113.6486 >= 56.1311  [ok]

idiom:  get a present
  H(p)        = 60.7384
  H_u         = 62.3241
  H_s         = inf
  H_u / H(p)  = 1.0261
  H_s / H(p)  = inf
  bound  inf >= 122.8632 >= 60.7384  [ok]

idiom:  eat the apple
  H(p)        = 79.6405
  H_u         = 81.5235
  H_s         = inf
  H_u / H(p)  = 1.0236
  H_s / H(p)  = inf
  bound  inf >= 160.6672 >= 79.6405  [ok]

idiom:  break the window
  H(p)        = 67.1408
  H_u         = 69.3321
  H_s         = inf
  H_u / H(p)  = 1.0326
  H_s / H(p)  = inf
  bound  inf >= 135.6679 >= 67.1408  [ok]

idiom:  lose keys
  H(p)        = 75.1508
  H_u         = 76.4247
  H_s         = inf
  H_u / H(p)  = 1.0170
  H_s / H(p)  = inf
  bound  inf >= 151.6878 >= 75.1508  [ok]

idiom:  make lunch
  H(p)        = 59.1649
  H_u         = 61.1496
  H_s         = inf
  H_u / H(p)  = 1.0335
  H_s / H(p)  = inf
  bound  inf >= 119.7161 >= 59.1649  [ok]

idiom:  cut hair
  H(p)        = 57.2746
  H_u         = 64.1077
  H_s         = 57.2872
  H_u / H(p)  = 1.1193
  H_s / H(p)  = 1.0002
  bound  121.3948 >= 115.9355 >= 57.2746  [ok]

idiom:  raise children
  H(p)        = 67.6469
  H_u         = 71.8304
  H_s         = inf
  H_u / H(p)  = 1.0618
  H_s / H(p)  = inf
  bound  inf >= 136.6802 >= 67.6469  [ok]

idiom:  tie knots
  H(p)        = 69.6636
  H_u         = 73.5416
  H_s         = inf
  H_u / H(p)  = 1.0557
  H_s / H(p)  = inf
  bound  inf >= 140.7136 >= 69.6636  [ok]

idiom:  remember details
  H(p)        = 62.6690
  H_u         = 63.2106
  H_s         = inf
  H_u / H(p)  = 1.0086
  H_s / H(p)  = inf
  bound  inf >= 126.7243 >= 62.6690  [ok]

idiom:  turn dials
  H(p)        = 85.7114
  H_u         = 92.5047
  H_s         = inf
  H_u / H(p)  = 1.0793
  H_s / H(p)  = inf
  bound  inf >= 172.8091 >= 85.7114  [ok]

idiom:  build the boat
  H(p)        = 48.2443
  H_u         = 53.0844
  H_s         = inf
  H_u / H(p)  = 1.1003
  H_s / H(p)  = inf
  bound  inf >= 97.8750 >= 48.2443  [ok]

idiom:  lead the meeting
  H(p)        = 74.4524
  H_u         = 74.4524
  H_s         = inf
  H_u / H(p)  = 1.0000
  H_s / H(p)  = inf
  bound  inf >= 150.2912 >= 74.4524  [ok]

idiom:  strike a drum
  H(p)        = 76.7524
  H_u         = 76.7524
  H_s         = inf
  H_u / H(p)  = 1.0000
  H_s / H(p)  = inf
  bound  inf >= 154.8911 >= 76.7524  [ok]

idiom:  see the show
  H(p)        = 66.5185
  H_u         = 67.8496
  H_s         = inf
  H_u / H(p)  = 1.0200
  H_s / H(p)  = inf
  bound  inf >= 134.4234 >= 66.5185  [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__joint__nonidiom.json