Loading weights:   0%|          | 0/464 [00:00<?, ?it/s]Loading weights:   0%|          | 1/464 [00:01<13:36,  1.76s/it]Loading weights:  10%|█         | 48/464 [00:01<00:12, 33.79it/s]Loading weights:  14%|█▍        | 64/464 [00:02<00:09, 43.44it/s]Loading weights:  17%|█▋        | 78/464 [00:02<00:07, 50.27it/s]Loading weights:  19%|█▉        | 90/464 [00:02<00:06, 57.14it/s]Loading weights:  22%|██▏       | 101/464 [00:02<00:06, 57.62it/s]Loading weights:  24%|██▍       | 111/464 [00:02<00:06, 58.46it/s]Loading weights:  27%|██▋       | 124/464 [00:02<00:05, 57.45it/s]Loading weights:  28%|██▊       | 132/464 [00:03<00:05, 56.94it/s]Loading weights:  30%|██▉       | 139/464 [00:03<00:06, 53.57it/s]Loading weights:  31%|███▏      | 146/464 [00:03<00:07, 42.08it/s]Loading weights:  34%|███▍      | 157/464 [00:03<00:07, 42.46it/s]Loading weights:  36%|███▌      | 168/464 [00:04<00:06, 43.82it/s]Loading weights:  39%|███▊      | 179/464 [00:04<00:05, 49.24it/s]Loading weights:  41%|████      | 190/464 [00:04<00:05, 48.41it/s]Loading weights:  43%|████▎     | 201/464 [00:04<00:05, 50.33it/s]Loading weights:  46%|████▌     | 212/464 [00:04<00:04, 53.81it/s]Loading weights:  48%|████▊     | 223/464 [00:05<00:04, 55.48it/s]Loading weights:  50%|█████     | 234/464 [00:05<00:04, 51.52it/s]Loading weights:  53%|█████▎    | 245/464 [00:05<00:04, 51.06it/s]Loading weights:  55%|█████▌    | 256/464 [00:05<00:04, 47.62it/s]Loading weights:  58%|█████▊    | 267/464 [00:05<00:04, 48.97it/s]Loading weights:  60%|█████▉    | 278/464 [00:06<00:04, 45.89it/s]Loading weights:  62%|██████▏   | 289/464 [00:06<00:03, 46.68it/s]Loading weights:  65%|██████▍   | 300/464 [00:06<00:03, 46.10it/s]Loading weights:  67%|██████▋   | 309/464 [00:06<00:02, 52.79it/s]Loading weights:  68%|██████▊   | 315/464 [00:06<00:02, 51.35it/s]Loading weights:  69%|██████▉   | 322/464 [00:07<00:02, 48.56it/s]Loading weights:  72%|███████▏  | 333/464 [00:07<00:02, 44.61it/s]Loading weights:  74%|███████▍  | 344/464 [00:07<00:03, 36.68it/s]Loading weights:  77%|███████▋  | 355/464 [00:08<00:03, 34.28it/s]Loading weights:  79%|███████▉  | 366/464 [00:08<00:02, 36.88it/s]Loading weights:  81%|████████▏ | 377/464 [00:08<00:02, 38.89it/s]Loading weights:  84%|████████▎ | 388/464 [00:08<00:02, 37.02it/s]Loading weights:  86%|████████▌ | 397/464 [00:09<00:01, 42.50it/s]Loading weights:  87%|████████▋ | 402/464 [00:09<00:01, 38.70it/s]Loading weights:  88%|████████▊ | 408/464 [00:09<00:01, 40.94it/s]Loading weights:  89%|████████▉ | 413/464 [00:11<00:05,  9.42it/s]Loading weights:  91%|█████████ | 421/464 [00:11<00:03, 11.46it/s]Loading weights:  93%|█████████▎| 432/464 [00:12<00:01, 16.14it/s]Loading weights:  95%|█████████▍| 440/464 [00:12<00:01, 20.94it/s]Loading weights:  96%|█████████▌| 445/464 [00:12<00:00, 20.99it/s]Loading weights:  97%|█████████▋| 451/464 [00:12<00:00, 24.45it/s]Loading weights:  98%|█████████▊| 456/464 [00:12<00:00, 24.66it/s]Loading weights: 100%|██████████| 464/464 [00:12<00:00, 36.38it/s]

idiom:  spill the beans
  H(p)        = 4.2340
  H_u         = 4.9068
  H_s         = 5.0967
  H_u / H(p)  = 1.1589
  H_s / H(p)  = 1.2038
  bound  10.0035 >= 9.8543 >= 4.2340  [ok]

idiom:  call the shots
  H(p)        = 3.8186
  H_u         = 4.7666
  H_s         = 4.4984
  H_u / H(p)  = 1.2483
  H_s / H(p)  = 1.1780
  bound  9.2650 >= 9.0235 >= 3.8186  [ok]

idiom:  clear the air
  H(p)        = 4.0676
  H_u         = 5.0542
  H_s         = 4.5837
  H_u / H(p)  = 1.2426
  H_s / H(p)  = 1.1269
  bound  9.6379 >= 9.5214 >= 4.0676  [ok]

idiom:  have a ball
  H(p)        = 3.6368
  H_u         = 4.5045
  H_s         = inf
  H_u / H(p)  = 1.2386
  H_s / H(p)  = inf
  bound  inf >= 8.6599 >= 3.6368  [ok]

idiom:  get the sack
  H(p)        = 4.5390
  H_u         = 5.0025
  H_s         = inf
  H_u / H(p)  = 1.1021
  H_s / H(p)  = inf
  bound  inf >= 10.4642 >= 4.5390  [ok]

idiom:  bite the dust
  H(p)        = 5.2715
  H_u         = 6.2647
  H_s         = inf
  H_u / H(p)  = 1.1884
  H_s / H(p)  = inf
  bound  inf >= 11.9294 >= 5.2715  [ok]

idiom:  break the mold
  H(p)        = 3.9644
  H_u         = 5.0128
  H_s         = 4.7454
  H_u / H(p)  = 1.2645
  H_s / H(p)  = 1.1970
  bound  9.7582 >= 9.3150 >= 3.9644  [ok]

idiom:  lose ground
  H(p)        = 5.7821
  H_u         = 6.6347
  H_s         = inf
  H_u / H(p)  = 1.1474
  H_s / H(p)  = inf
  bound  inf >= 12.9506 >= 5.7821  [ok]

idiom:  make waves
  H(p)        = 5.0621
  H_u         = 5.6528
  H_s         = inf
  H_u / H(p)  = 1.1167
  H_s / H(p)  = inf
  bound  inf >= 11.5106 >= 5.0621  [ok]

idiom:  cut corners
  H(p)        = 3.9649
  H_u         = 5.1665
  H_s         = 4.4307
  H_u / H(p)  = 1.3031
  H_s / H(p)  = 1.1175
  bound  9.5972 >= 9.3162 >= 3.9649  [ok]

idiom:  raise hell
  H(p)        = 5.5155
  H_u         = 6.0961
  H_s         = inf
  H_u / H(p)  = 1.1053
  H_s / H(p)  = inf
  bound  inf >= 12.4173 >= 5.5155  [ok]

idiom:  pull strings
  H(p)        = 4.3037
  H_u         = 5.1767
  H_s         = 4.9653
  H_u / H(p)  = 1.2028
  H_s / H(p)  = 1.1537
  bound  10.1420 >= 9.9937 >= 4.3037  [ok]

idiom:  mean business
  H(p)        = 5.1040
  H_u         = 5.9962
  H_s         = inf
  H_u / H(p)  = 1.1748
  H_s / H(p)  = inf
  bound  inf >= 11.5943 >= 5.1040  [ok]

idiom:  turn tail
  H(p)        = 5.2372
  H_u         = 6.6563
  H_s         = inf
  H_u / H(p)  = 1.2710
  H_s / H(p)  = inf
  bound  inf >= 11.8607 >= 5.2372  [ok]

idiom:  rock the boat
  H(p)        = 3.8770
  H_u         = 4.7743
  H_s         = 4.4735
  H_u / H(p)  = 1.2315
  H_s / H(p)  = 1.1539
  bound  9.2478 >= 9.1402 >= 3.8770  [ok]

idiom:  lead the field
  H(p)        = 4.9924
  H_u         = 5.8537
  H_s         = 5.6457
  H_u / H(p)  = 1.1725
  H_s / H(p)  = 1.1309
  bound  11.4994 >= 11.3712 >= 4.9924  [ok]

idiom:  strike a chord
  H(p)        = 5.0451
  H_u         = 6.3993
  H_s         = 5.3993
  H_u / H(p)  = 1.2684
  H_s / H(p)  = 1.0702
  bound  11.7986 >= 11.4764 >= 5.0451  [ok]

idiom:  run the show
  H(p)        = 5.2404
  H_u         = 5.7936
  H_s         = inf
  H_u / H(p)  = 1.1056
  H_s / H(p)  = inf
  bound  inf >= 11.8672 >= 5.2404  [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__geo__idiom.json
