PenaltyOperator.cc 7.18 KB