Două înțelesuri se consideră ghober-diferite dacă nu există o renumerotare a nodurilor astfel încât să se obțină doi arbori colorați identic.

Mai exact: Doi arbori $G(V, E, c: V -> C)$ și $G'(V, E', c': V -> C)$ se considera "la fel" (izomorfi) dacă există o funcție $f: V -> V'$ bijectivă a.î. $c'(f(v)) = c(v)$ oricare ar fi $v ∈ V$ si $E' = {(f(v), f(u)) | (v, u) ∈ E}$.
 

h2. Date de intrare
Fişierul de intrare $manuscris.in$ conține pe prima linie două numere, $n$ și $k$, reprezentând numărul de cuvinte din propoziția dată și respectiv numărul de cuvinte / culori din limba ghoberiană. Pe următoarele $n - 1$ linii se vor afla câte două numere, $a$ și $b$ cu semnificația că există o conexiune între cuvintele $a$ și $b$ din propoziție.