Now we can devour gods, TOGETHER!
Gimi a găsit un nou joc, faimos pentru dificultatea sa ridicată. Jocul este alcătuit din camere, numerotate de la la . Fiecare cameră conține un monstru a cărui putere este un număr natural . Gimi trece, în ordine, prin toate camerele. În fiecare cameră el poate alege să se lupte cu monstrul sau nu.
Gimi pornește cu o sabie de durabilitate . El învinge un monstru doar dacă puterea acestuia este mai mică sau egală cu durabilitatea sabiei. După luptă, durabilitatea sabiei scade cu puterea monstrului. De exemplu, dacă Gimi are o sabie de durabilitate și se luptă cu un monstru de putere , atunci durabilitatea sabiei sale va scădea la .
Ținând la reputația sa, Gimi dorește să se lupte cu exact 3 monștri din ce în ce mai puternici. Cu alte cuvinte, dacă Gimi a învins un monstru de putere , el se va lupta în continuare numai cu monștri de putere strict mai mare decât .
Cerință
Gimi se întreabă în câte moduri poate să aleagă 3 monștri cu care să se lupte. Două mulțimi de 3 monștri se consideră diferite dacă există cel puțin un monstru în prima mulțime care nu aparține celei de-a doua mulțime.
Formal, se cere numărul de tripleți pentru care și .
Date de intrare
Fișierul de intrare conține pe prima linie două numere naturale și , reprezentând numărul de camere ale jocului și durabilitatea inițială a sabiei lui Gimi, iar pe a doua linie numere naturale separate prin câte un spațiu, reprezentând puterile celor monștri.
Date de ieșire
În fișierul de ieșire se va afișa un singur număr ce reprezintă numărul total de moduri în care Gimi poate alege monștrii.
Restricții
- .
- , pentru oricare .
# | Punctaj | Restricții |
---|---|---|
1 | 11 | |
2 | 27 | |
3 | 62 | Nu există alte restricții |
Exemple
bossfight.in
5 9
1 2 3 4 3
bossfight.out
5
Tripletele de poziții sunt: , , , , .
Un exemplu de triplet incorect este , deoarece puterea monstrului din camera este mai mare decât puterea monstrului din camera .
bossfight.in
8 16
4 2 1 6 5 7 9 8
bossfight.out
13
Tripletele de poziții sunt: , , , , , , , , , , , , .