== 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 minim de operatii si numarul de prieteni pe care Gigel ii are in comun cu cei care apar, dupa efectuarea operatiilor, in lista de $K$ sugestii.

Î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 ≤ 1000000$

* $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

8424