Loading weights:   0%|          | 0/464 [00:00<?, ?it/s]
Loading weights:   0%|          | 1/464 [00:01<13:45,  1.78s/it]
Loading weights:  14%|█▍        | 66/464 [00:01<00:08, 48.41it/s]
Loading weights:  22%|██▏       | 101/464 [00:02<00:05, 61.66it/s]
Loading weights:  27%|██▋       | 125/464 [00:02<00:05, 64.81it/s]
Loading weights:  31%|███       | 143/464 [00:02<00:04, 72.79it/s]
Loading weights:  34%|███▍      | 159/464 [00:03<00:04, 64.44it/s]
Loading weights:  37%|███▋      | 171/464 [00:03<00:04, 67.51it/s]
Loading weights:  39%|███▉      | 182/464 [00:03<00:04, 64.53it/s]
Loading weights:  41%|████      | 191/464 [00:05<00:14, 19.23it/s]
Loading weights:  43%|████▎     | 201/464 [00:05<00:11, 23.12it/s]
Loading weights:  46%|████▌     | 212/464 [00:05<00:09, 27.96it/s]
Loading weights:  48%|████▊     | 223/464 [00:05<00:07, 32.77it/s]
Loading weights:  50%|█████     | 234/464 [00:05<00:05, 38.40it/s]
Loading weights:  53%|█████▎    | 245/464 [00:06<00:05, 43.02it/s]
Loading weights:  55%|█████▌    | 256/464 [00:06<00:04, 44.17it/s]
Loading weights:  58%|█████▊    | 267/464 [00:06<00:04, 45.80it/s]
Loading weights:  60%|█████▉    | 278/464 [00:06<00:03, 46.66it/s]
Loading weights:  62%|██████▏   | 289/464 [00:07<00:03, 44.98it/s]
Loading weights:  64%|██████▎   | 295/464 [00:07<00:03, 46.55it/s]
Loading weights:  65%|██████▍   | 301/464 [00:07<00:04, 39.60it/s]
Loading weights:  67%|██████▋   | 311/464 [00:07<00:03, 45.60it/s]
Loading weights:  69%|██████▉   | 322/464 [00:07<00:03, 44.64it/s]
Loading weights:  71%|███████▏  | 331/464 [00:07<00:02, 51.46it/s]
Loading weights:  73%|███████▎  | 337/464 [00:08<00:02, 46.38it/s]
Loading weights:  74%|███████▍  | 344/464 [00:08<00:03, 39.91it/s]
Loading weights:  75%|███████▌  | 349/464 [00:08<00:03, 36.95it/s]
Loading weights:  77%|███████▋  | 355/464 [00:08<00:03, 36.02it/s]
Loading weights:  79%|███████▉  | 366/464 [00:08<00:02, 35.39it/s]
Loading weights:  80%|███████▉  | 370/464 [00:09<00:02, 35.42it/s]
Loading weights:  81%|████████▏ | 377/464 [00:09<00:02, 34.50it/s]
Loading weights:  84%|████████▎ | 388/464 [00:09<00:01, 40.36it/s]
Loading weights:  85%|████████▍ | 393/464 [00:09<00:01, 41.04it/s]
Loading weights:  86%|████████▌ | 399/464 [00:09<00:01, 39.87it/s]
Loading weights:  88%|████████▊ | 410/464 [00:10<00:01, 41.73it/s]
Loading weights:  89%|████████▉ | 415/464 [00:10<00:01, 40.73it/s]
Loading weights:  91%|█████████ | 421/464 [00:10<00:01, 42.22it/s]
Loading weights:  93%|█████████▎| 430/464 [00:10<00:00, 48.02it/s]
Loading weights:  94%|█████████▍| 435/464 [00:10<00:00, 37.84it/s]
Loading weights:  95%|█████████▌| 443/464 [00:10<00:00, 34.59it/s]
Loading weights:  98%|█████████▊| 454/464 [00:11<00:00, 38.55it/s]
Loading weights: 100%|██████████| 464/464 [00:11<00:00, 41.40it/s]

idiom:  spill the water
  H(p)        = 75.1203
  H_u         = 75.8618
  H_s         = inf
  H_u / H(p)  = 1.0099
  H_s / H(p)  = inf
  bound  inf >= 151.6269 >= 75.1203  [ok]

idiom:  call the police
  H(p)        = 58.6982
  H_u         = 62.8302
  H_s         = inf
  H_u / H(p)  = 1.0704
  H_s / H(p)  = inf
  bound  inf >= 118.7826 >= 58.6982  [ok]

idiom:  clear the table
  H(p)        = 64.6017
  H_u         = 67.7981
  H_s         = inf
  H_u / H(p)  = 1.0495
  H_s / H(p)  = inf
  bound  inf >= 130.5897 >= 64.6017  [ok]

idiom:  throw a ball
  H(p)        = 64.9762
  H_u         = 65.8297
  H_s         = inf
  H_u / H(p)  = 1.0131
  H_s / H(p)  = inf
  bound  inf >= 131.3387 >= 64.9762  [ok]

idiom:  get a present
  H(p)        = 67.2910
  H_u         = 68.4657
  H_s         = inf
  H_u / H(p)  = 1.0175
  H_s / H(p)  = inf
  bound  inf >= 135.9683 >= 67.2910  [ok]

idiom:  eat the apple
  H(p)        = 77.9324
  H_u         = 79.9512
  H_s         = inf
  H_u / H(p)  = 1.0259
  H_s / H(p)  = inf
  bound  inf >= 157.2511 >= 77.9324  [ok]

idiom:  break the window
  H(p)        = 71.5117
  H_u         = 73.1206
  H_s         = inf
  H_u / H(p)  = 1.0225
  H_s / H(p)  = inf
  bound  inf >= 144.4098 >= 71.5117  [ok]

idiom:  lose keys
  H(p)        = 77.9015
  H_u         = 78.7161
  H_s         = inf
  H_u / H(p)  = 1.0105
  H_s / H(p)  = inf
  bound  inf >= 157.1893 >= 77.9015  [ok]

idiom:  make lunch
  H(p)        = 68.7562
  H_u         = 69.8871
  H_s         = inf
  H_u / H(p)  = 1.0164
  H_s / H(p)  = inf
  bound  inf >= 138.8987 >= 68.7562  [ok]

idiom:  cut hair
  H(p)        = 59.0863
  H_u         = 63.9717
  H_s         = 59.1382
  H_u / H(p)  = 1.0827
  H_s / H(p)  = 1.0009
  bound  123.1099 >= 119.5589 >= 59.0863  [ok]

idiom:  raise children
  H(p)        = 73.2252
  H_u         = 75.5245
  H_s         = inf
  H_u / H(p)  = 1.0314
  H_s / H(p)  = inf
  bound  inf >= 147.8367 >= 73.2252  [ok]

idiom:  tie knots
  H(p)        = 75.1205
  H_u         = 77.9483
  H_s         = inf
  H_u / H(p)  = 1.0376
  H_s / H(p)  = inf
  bound  inf >= 151.6273 >= 75.1205  [ok]

idiom:  remember details
  H(p)        = 62.9839
  H_u         = 63.1414
  H_s         = inf
  H_u / H(p)  = 1.0025
  H_s / H(p)  = inf
  bound  inf >= 127.3541 >= 62.9839  [ok]

idiom:  turn dials
  H(p)        = 82.4483
  H_u         = 85.0896
  H_s         = inf
  H_u / H(p)  = 1.0320
  H_s / H(p)  = inf
  bound  inf >= 166.2830 >= 82.4483  [ok]

idiom:  build the boat
  H(p)        = 62.5635
  H_u         = 65.3335
  H_s         = inf
  H_u / H(p)  = 1.0443
  H_s / H(p)  = inf
  bound  inf >= 126.5133 >= 62.5635  [ok]

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

idiom:  strike a drum
  H(p)        = 76.9948
  H_u         = 77.0303
  H_s         = inf
  H_u / H(p)  = 1.0005
  H_s / H(p)  = inf
  bound  inf >= 155.3759 >= 76.9948  [ok]

idiom:  see the show
  H(p)        = 63.6295
  H_u         = 64.6318
  H_s         = inf
  H_u / H(p)  = 1.0158
  H_s / H(p)  = inf
  bound  inf >= 128.6452 >= 63.6295  [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__full__joint__nonidiom.json