Loading weights:   0%|          | 0/464 [00:00<?, ?it/s]
Loading weights:   0%|          | 1/464 [00:01<10:19,  1.34s/it]
Loading weights:  19%|█▉        | 87/464 [00:01<00:04, 81.21it/s]
Loading weights:  27%|██▋       | 126/464 [00:02<00:04, 69.72it/s]
Loading weights:  32%|███▏      | 150/464 [00:02<00:04, 70.87it/s]
Loading weights:  36%|███▌      | 168/464 [00:02<00:04, 68.05it/s]
Loading weights:  39%|███▉      | 182/464 [00:02<00:04, 67.36it/s]
Loading weights:  42%|████▏     | 193/464 [00:03<00:04, 65.23it/s]
Loading weights:  44%|████▍     | 203/464 [00:03<00:04, 60.73it/s]
Loading weights:  46%|████▌     | 212/464 [00:03<00:04, 55.04it/s]
Loading weights:  48%|████▊     | 223/464 [00:03<00:04, 53.03it/s]
Loading weights:  50%|█████     | 234/464 [00:04<00:04, 56.59it/s]
Loading weights:  52%|█████▏    | 241/464 [00:04<00:03, 56.01it/s]
Loading weights:  53%|█████▎    | 248/464 [00:04<00:04, 43.93it/s]
Loading weights:  55%|█████▍    | 253/464 [00:04<00:04, 44.61it/s]
Loading weights:  56%|█████▌    | 258/464 [00:04<00:05, 34.34it/s]
Loading weights:  58%|█████▊    | 267/464 [00:05<00:05, 33.44it/s]
Loading weights:  60%|█████▉    | 278/464 [00:05<00:04, 37.90it/s]
Loading weights:  62%|██████▏   | 289/464 [00:05<00:04, 42.42it/s]
Loading weights:  65%|██████▍   | 300/464 [00:05<00:03, 43.79it/s]
Loading weights:  67%|██████▋   | 311/464 [00:06<00:03, 43.74it/s]
Loading weights:  69%|██████▉   | 322/464 [00:06<00:03, 42.01it/s]
Loading weights:  72%|███████▏  | 333/464 [00:06<00:03, 40.62it/s]
Loading weights:  74%|███████▍  | 344/464 [00:06<00:02, 42.71it/s]
Loading weights:  77%|███████▋  | 355/464 [00:07<00:02, 43.03it/s]
Loading weights:  79%|███████▉  | 366/464 [00:07<00:02, 43.31it/s]
Loading weights:  81%|████████▏ | 377/464 [00:07<00:02, 40.89it/s]
Loading weights:  84%|████████▎ | 388/464 [00:07<00:01, 39.81it/s]
Loading weights:  86%|████████▌ | 399/464 [00:08<00:01, 39.89it/s]
Loading weights:  88%|████████▊ | 410/464 [00:08<00:01, 41.58it/s]
Loading weights:  89%|████████▉ | 415/464 [00:08<00:01, 39.34it/s]
Loading weights:  91%|█████████ | 421/464 [00:08<00:01, 39.49it/s]
Loading weights:  92%|█████████▏| 425/464 [00:08<00:01, 37.90it/s]
Loading weights:  93%|█████████▎| 432/464 [00:09<00:00, 38.18it/s]
Loading weights:  95%|█████████▌| 443/464 [00:09<00:00, 37.00it/s]
Loading weights:  98%|█████████▊| 454/464 [00:09<00:00, 40.71it/s]
Loading weights: 100%|██████████| 464/464 [00:09<00:00, 48.25it/s]

idiom:  spill the water
  H(p)        = 4.8260
  H_u         = 5.0276
  H_s         = inf
  H_u / H(p)  = 1.0418
  H_s / H(p)  = inf
  bound  inf >= 11.0382 >= 4.8260  [ok]

idiom:  call the police
  H(p)        = 4.2887
  H_u         = 4.8444
  H_s         = inf
  H_u / H(p)  = 1.1296
  H_s / H(p)  = inf
  bound  inf >= 9.9637 >= 4.2887  [ok]

idiom:  clear the table
  H(p)        = 4.8250
  H_u         = 5.4680
  H_s         = inf
  H_u / H(p)  = 1.1333
  H_s / H(p)  = inf
  bound  inf >= 11.0363 >= 4.8250  [ok]

idiom:  throw a ball
  H(p)        = 4.5289
  H_u         = 4.9377
  H_s         = inf
  H_u / H(p)  = 1.0902
  H_s / H(p)  = inf
  bound  inf >= 10.4442 >= 4.5289  [ok]

idiom:  get a present
  H(p)        = 4.8531
  H_u         = 5.0970
  H_s         = inf
  H_u / H(p)  = 1.0503
  H_s / H(p)  = inf
  bound  inf >= 11.0924 >= 4.8531  [ok]

idiom:  eat the apple
  H(p)        = 5.6162
  H_u         = 6.1850
  H_s         = inf
  H_u / H(p)  = 1.1013
  H_s / H(p)  = inf
  bound  inf >= 12.6187 >= 5.6162  [ok]

idiom:  break the window
  H(p)        = 5.2365
  H_u         = 5.7474
  H_s         = inf
  H_u / H(p)  = 1.0976
  H_s / H(p)  = inf
  bound  inf >= 11.8592 >= 5.2365  [ok]

idiom:  lose keys
  H(p)        = 6.6354
  H_u         = 6.8004
  H_s         = inf
  H_u / H(p)  = 1.0249
  H_s / H(p)  = inf
  bound  inf >= 14.6571 >= 6.6354  [ok]

idiom:  make lunch
  H(p)        = 5.5909
  H_u         = 5.8991
  H_s         = inf
  H_u / H(p)  = 1.0551
  H_s / H(p)  = inf
  bound  inf >= 12.5681 >= 5.5909  [ok]

idiom:  cut hair
  H(p)        = 4.4770
  H_u         = 5.2036
  H_s         = 5.4335
  H_u / H(p)  = 1.1623
  H_s / H(p)  = 1.2136
  bound  10.6371 >= 10.3403 >= 4.4770  [ok]

idiom:  raise children
  H(p)        = 5.9868
  H_u         = 6.3492
  H_s         = inf
  H_u / H(p)  = 1.0605
  H_s / H(p)  = inf
  bound  inf >= 13.3599 >= 5.9868  [ok]

idiom:  tie knots
  H(p)        = 5.4761
  H_u         = 5.8831
  H_s         = inf
  H_u / H(p)  = 1.0743
  H_s / H(p)  = inf
  bound  inf >= 12.3386 >= 5.4761  [ok]

idiom:  remember details
  H(p)        = 6.0408
  H_u         = 6.2705
  H_s         = inf
  H_u / H(p)  = 1.0380
  H_s / H(p)  = inf
  bound  inf >= 13.4680 >= 6.0408  [ok]

idiom:  turn dials
  H(p)        = 6.8953
  H_u         = 7.5323
  H_s         = inf
  H_u / H(p)  = 1.0924
  H_s / H(p)  = inf
  bound  inf >= 15.1769 >= 6.8953  [ok]

idiom:  build the boat
  H(p)        = 4.7950
  H_u         = 5.3324
  H_s         = inf
  H_u / H(p)  = 1.1121
  H_s / H(p)  = inf
  bound  inf >= 10.9763 >= 4.7950  [ok]

idiom:  lead the meeting
  H(p)        = 6.3488
  H_u         = 6.4838
  H_s         = inf
  H_u / H(p)  = 1.0213
  H_s / H(p)  = inf
  bound  inf >= 14.0839 >= 6.3488  [ok]

idiom:  strike a drum
  H(p)        = 7.2015
  H_u         = 7.3119
  H_s         = inf
  H_u / H(p)  = 1.0153
  H_s / H(p)  = inf
  bound  inf >= 15.7892 >= 7.2015  [ok]

idiom:  see the show
  H(p)        = 5.5067
  H_u         = 5.7636
  H_s         = inf
  H_u / H(p)  = 1.0467
  H_s / H(p)  = inf
  bound  inf >= 12.3997 >= 5.5067  [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__nonidiom.json