Comment by SamBam
Hmmm, but the shortened dictionary being used is presumably less than that, so my best-so-far of 17 is probably below optimal...
Hmmm, but the shortened dictionary being used is presumably less than that, so my best-so-far of 17 is probably below optimal...