■ SRM 610 Medium 16:14 やっと分かった。 refuelが大きい順に見ればよいことを示す。これはrefuelが小さいもの->refuelが大きいものと取れるのにrefuelが大きいもの->refuelが小さいものとは取れない、ということはありえないことを示せばよい.具体的には(d…