なるほど
ざっくりソートされてれば細かい部分で無数に違反してていいのか
151 150 153 152 153
でもokなので、同じ身長を1つに縮退させることがそもそも無理

これは、とりあえず片端からやってみて、違反したらバックトラックして、
みたいに数えていくしかないのでは