Fișierul intrare/ieșire	dominos.in, dominos.out	Sursă	adaptare ACM ICPC QF 2006
Autor	Stanislav Vasilyev	Adăugată de	Tudor Coman • tudorcoman
Timp de execuție pe test	0.25 sec	Limită de memorie	1024 KB
Scorul tău	N/A	Dificultate	1.25

Poți vedea testele pentru această problemă accesând atașamentele .

Vezi soluțiile trimise | Statistici

Domino Dots

Pentru a-și putea desfășura activitatea în marile lor capitale, rușii au nevoie de creiere excepționale. Desigur că, odată cu asta, ei au nevoie și de metode ciudate de relaxare. În cazinouri se află seturi speciale de domino pentru ruși. În aceste seturi, numărul de puncte nu variază de la 0 la 6 ca într-un set normal, ci de la 0 la un anumit număr proporțional cu nivelul intelectual al jucătorului. Pentru a face seturi special, este folosit același principiu ca la seturile normale: fiecare piesă are 2 capete; pe fiecare capăt se află puncte (aflate într-un număr de la 0 la n); un set conține piesele cu toate combinațiile de capete. Dar, în mod deosebit față de piesele normale, aceste piese speciale sunt marcate cu puncte care nu sunt doar urme de vopsea, ci diamante reale de 10 carate.

Câte diamante sunt necesare pentru un set în care capetele nu sunt mai mari ca n ?

Date de intrare

Fișierul de intrare dominos.in se dă un singur număr natural n.

Date de ieșire

În fișierul de ieșire dominos.out se va afișa un singur număr natural ce reprezintă rezultatul.

Restricții

• 1 ≤ n ≤ 10000

Exemplu

Explicație

Piesele de domino sunt:

0 – 0
0 – 1
0 – 2
1 – 1
1 – 2
2 – 2

Suma este 0 + 0 + 0 + 0 + 1 + 2 + 1 + 1 + 1 + 2 + 2 + 2 = 12.