In the problem statement you have:
"But this can lead to cheating, because components should be written
in decreasing weight order."

Should it be really decreasing weight order? Isn't it non-increasing
order? It really matters in checking cheats. Two different elements
can well have the same weight!

Thank you