Shard_r12 is a sharding function which will return two hunks.

Shard_r133 is a sharding function which will return three hunks.

Shard_r133 is a sharding function which will return three hunks, the last of which is the full original key, and the first two of which are three bytes long.