Problem description


Sprawdzanie porządku topologicznego
(topsort-spr)
Memory limit: 32 MB
Time limit: 5.00 s

Tadzio ma N zadań do wykonania. Są one ponumerowane liczbami z przedziału od 0 do N − 1. Niektóre zadania muszą być wykonane przed innymi: Tadzio sporządził całą listę “pierwszeństwa”, która zawiera pary numerów zadań. Para AB na liście oznacza, że zadanie A powinno być wykonane przed zadaniem B. Tadzio chce sporządzić harmonogram dnia, a zatem między innymi ustalić kolejność, w jakiej będzie wykonywać wszystkie zadania. Aby ułatwić sobie to przedsięwzięcie napisał program, który wyznacza tę kolejność. Teraz Tadziowi pozostaje sprawdzić, czy kolejność wykonywania zadań wyznaczona przez jego program spełnia wszystkie warunki z listy pierwszeństwa.

Napisz program sprawdzający, czy kolejność wykonywania zadań wyznaczona przez program Tadzia jest prawidłowa.

Wejście

Pierwszy wiersz zawiera dwie liczby naturalne: N – liczbę zadań oraz K – liczbę par na liście pierwszeństwa. Każdy z kolejnych K wierszy zawiera parę liczb – kolejny warunek z listy pierwszeństwa. W ostatnim wierszu znajduje się permutacja liczb 0, …, N − 1 oznaczająca kolejność wykonywania zadań wyznaczoną przez program Tadzia.

Wyjście

W jedynym wierszu wyjścia należy wypisać słowo OK, jeśli permutacja wyznaczona przez program Tadzia spełnia wszystkie warunki z listy pierwszeństwa. Jeśli nie spełnia tych warunków, należy wypisać numer pierwszego zadania z permutacji, którego wykonanie byłoby wbrew warunkom z listy pierwszeństwa.

Ograniczenia

0 ≤ N, K ≤ 106.

Przykład

Input Output
5 7
1 2
4 0
0 3
3 2
4 1
1 0
0 2
4 1 0 3 2
OK
Input Output
5 7
1 2
4 0
0 3
3 2
4 1
1 0
0 2
4 1 2 3 0
2