I have uploaded the source code for this example to vault. It shows a more extreme case of how making a more complex operator<, like Henrik Sundberg advised, is both slow and big, while the operator[] for the samew class is fast and small.