== include(page="template/taskheader" task_id="facebook") ==

In partea dreapta pe Facebook iti apar $K$ sugestii de prieteni. Pentru fiecare sugestie se cunoaste numarul de prieteni comuni. Gigel vrea sa obtina la sugestii $K$ persoane cu care sa aiba acelasi numar de prieteni in comun. El poate sa respinga o sugestie a Facebook-ului, caz in care locul acelei persoane este luat de altcineva. Stiind dinainte ordinea celor $N > K$ sugestii pe care le are pregatitie Facebook, gasiti numarul minim de operatii astfel incat sa satisfaceti dorinta lui Gigel. In cazul in care nu exista solutie, $-1$.

In partea dreapta pe Facebook iti apar $K$ sugestii de prieteni. Pentru fiecare sugestie se cunoaste numarul de prieteni comuni. Gigel vrea sa obtina la sugestii $K$ persoane cu care sa aiba acelasi numar de prieteni in comun. El poate sa respinga o sugestie a Facebook-ului, caz in care locul acelei persoane este luat de altcineva. Stiind dinainte ordinea celor $N > K$ sugestii pe care le are pregatite Facebook, gasiti numarul minim de operatii astfel incat sa satisfaceti dorinta lui Gigel. In cazul in care nu exista solutie, $-1$.

h2. Date de intrare

h2. Date de ieşire

În fişierul de ieşire $facebook.out$ se va afisa pe prima linie numarul de operatii si numarul de prieteni pe care Gigel ii are in comun cu cei care apar in acest moment

În fişierul de ieşire $facebook.out$ se va afisa pe prima linie numarul minim de operatii, in cazul in care exista solutie. In caz contrar se va afisa $-1$.

h2. Restricţii

* $1 ≤ K ≤ N ≤ 100000$

* $1 ≤ K ≤ N ≤ 2^17^$
* Gigel este foarte popular asa ca numarul de prieteni pe care ii are in comun cu sugestiile date de Facebook se incadreaza in intervalul $[0, 2^30^]$

h2. Exemplu
table(example). |_. facebook.in |_. facebook.out |
| 6 3

  1 2 3 1 1 2 2
| 2 1

  1 2 3 1 1 2
| 2

|
h3. Explicaţie

Gigel respinge a doua sugestie, iar noile sugestii sunt: $1 3 1$.
Gigel respinge a doua sugestie din nou, iar lista de sugestii devine: $1 1 1$.

Gigel respinge a doua sugestie, iar lista de $K$ sugestii devine: $1 3 1$.
Gigel respinge a doua sugestie din nou, iar noile sugestii sunt: $1 1 1$.

== include(page="template/taskfooter" task_id="facebook") ==

8424