ShinglePatternIndexLess 686 courgette/adjustment_method_2.cc ShinglePatternIndexLess index_less; ShinglePatternIndexLess 1217 courgette/adjustment_method_2.cc ShinglePattern, ShinglePatternIndexLess> IndexToPattern;