It is my great honour to introduce myself to you here. My name is Aloysius Benjy Cobweb Dartagnan Egbert Felix Gaspar Humbert Ignatius Jayden Kasper Leroy Maximilian. As a storyteller, today I decide to tell you and others a story about the hero Huriyyah, and the monsters.

Once upon a time, citizens in the city were suffering from $$$n$$$ powerful monsters. They ate small children who went out alone and even killed innocent persons. Before the hero appeared, the apprehension had overwhelmed the people for several decades.

For the good of these unfortunate citizens, Huriyyah set off to the forest which was the main lair of monsters and fought with $$$n$$$ fierce and cruel monsters. The health point of the $$$i$$$-th monster was $$$HP_i$$$, and its attack value was $$$ATK_i$$$.

They fought in a cave through a turn-based battle. During each second, the hero Huriyyah was attacked by monsters at first, and the damage was the sum of attack values of all alive monsters. Then he selected a monster and attacked it. The monster would suffer the damage of $$$k$$$ (its health point would decrease by $$$k$$$) which was the times of attacks it had been came under. That is to say, for each monster, the damage of the first time that Huriyyah attacked it was $$$1$$$, and the damage of Huriyyah's second attack to this monster was $$$2$$$, the third time to this monster was $$$3$$$, and so on. If at some time, the health point of a monster was less than or equal to zero, it died. The hero won if all monsters were killed.

Now, my smart audience, can you calculate the minimum amount of total damages our hero should suffer before he won the battle?